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 - push the safety button
Author(s): Güdemann, Matthias
Advisor(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
Language: English
Publisher: Universitätsbibl.
Otto von Guericke University Library, Magdeburg, Germany
URN: urn:nbn:de:gbv:ma9:1-385
Subjects: Softwaresystem
Funktionssicherheit
Formale Beschreibungstechnik
Hochschulschrift
Online-Publikation
URI: https://opendata.uni-halle.de//handle/1981185920/11401
http://dx.doi.org/10.25673/5340
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
View/Open
Show full item record BibTeX EndNote


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