Media type: E-Book; Thesis Title: Qualitative and quantitative formal model-based safety analysis : push the safety button Contributor: Güdemann, Matthias [Verfasser]; Ortmeier, Frank [Akademischer Betreuer]; Kruse, Rudolf [Akademischer Betreuer] imprint: Magdeburg: Universitätsbibliothek, 2011 Extent: Online-Ressource Language: English Identifier: Keywords: Hochschulschrift Origination: University thesis: Magdeburg, Universität, Diss., 2011 Footnote: Access State: Open Access