Skip navigation
Please use this identifier to cite or link to this item: http://dx.doi.org/10.25673/5340
Title: Qualitative and quantitative formal model-based safety analysis
Author(s): Ortmeier, Frank
Kruse, Rudolf
Güdemann, Matthias
Keywords: Softwaresystem
Funktionssicherheit
Formale Beschreibungstechnik
Hochschulschrift
Online-Publikation
Issue Date: 2011
Publisher: Universitätsbibl.
Otto von Guericke University Library, Magdeburg, Germany
URI: https://opendata.uni-halle.de//handle/1981185920/11401
http://dx.doi.org/10.25673/5340
Appears in Collections:Fakultät für Informatik

Files in This Item:
File Description SizeFormat 
Guedemann-Dissertation.pdf1.76 MBAdobe PDFThumbnail
View/Open
Show full item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.