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

Carmen Crlan, Daniel Petrisor, Barbara Gallina, Hannes Schoenhaar

Browse the full ISSRE paper archive.