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