Publications
- ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. Details DOI BIB
- ExplicitCase: Integrated Model-based Development of System and Safety Cases In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, volume 10489 of LNCS, pages 52 – 63, September 2017. Springer. Details DOI BIB