Skip navigation
Please use this identifier to cite or link to this item:
Title: Qualitative and quantitative formal model-based safety analysis - push the safety button
Author(s): Güdemann, Matthias
Referee(s): Ortmeier, Frank
Kruse, Rudolf
Granting Institution: Otto-von-Guericke-Universität Magdeburg
Issue Date: 2011
Extent: Online-Ressource (PDF-Datei: 209 S., 1756 KB)
Type: Hochschulschrift
Type: Doctoral Thesis
Language: English
Publisher: Universitätsbibl.
Otto von Guericke University Library, Magdeburg, Germany
URN: urn:nbn:de:gbv:ma9:1-385
Subjects: Softwaresystem
Formale Beschreibungstechnik
Open Access: Open access publication
Appears in Collections:Fakultät für Informatik

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

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