Skip to content

Integrated Formal Methods for Constructing Assurance Cases.

Carmen Crlan, Tewodros A. Beyene, Harald Ruess

VenueAISSRE
Year2016
ProceedingsISSRE Workshops

Browse the full ISSRE paper archive.