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