ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models.

Carmen Crlan, Vivek Nigam, Sebastian Voss, Alexandros Tsalidis

Browse the full ISSRE paper archive.