Quantitative Model-Based Safety Analysis: A Case Study

Matthias Güdemann, Frank Ortmeier. Quantitative Model-Based Safety Analysis: A Case Study. In Felix C. Freiling, editor, Sicherheit 2010: Sicherheit, Schutz und Zuverlässigkeit, Beiträge der 5. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 5.-7. Oktober 2010 in Berlin. Volume 170 of LNI, pages 37-48, GI, 2010.

Abstract

Abstract is missing.