Model-Based Safety Cases in AutoFOCUS3 (Tool Demonstration)

Tim Kelly, Carmen Cârlan and Sebastian Voss

Proceedings of the 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013),

May 2013

subject terms: AutoFOCUS3, model-based safety cases, ExplicitCase, model-based systems engineering, MbSE

url: https://www.cs.york.ac.uk/assure2013/Program.html