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
Url:https://sites.google.com/view/wosocer2020