Model-Based Safety Cases in AutoFOCUS3 (Tool Demonstration)

Tim Kelly, Carmen Cârlan und Sebastian Voss

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

Mai 2013

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

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

URL BibTeX Zurück