Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products

Carmen Cârlan , Daniel Petrișor , Barbara Gallina und Hannes Schoenhaar

Proceedings of the 10th IEEE International Workshop on Software Certification (WoSoCer) co-located with ISSRE,

Oktober 2020

Stichworte: Model-based systems engineering, MbSE

Url: https://sites.google.com/view/wosocer2020