Skip navigation
Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.25673/5340
Titel: Qualitative and quantitative formal model-based safety analysis - push the safety button
Autor(en): Güdemann, Matthias
Gutachter: Ortmeier, Frank
Kruse, Rudolf
Körperschaft: Otto-von-Guericke-Universität Magdeburg
Erscheinungsdatum: 2011
Umfang: Online-Ressource (PDF-Datei: 209 S., 1756 KB)
Typ: Hochschulschrift
Sprache: Englisch
Herausgeber: Universitätsbibl.
Otto von Guericke University Library, Magdeburg, Germany
URN: urn:nbn:de:gbv:ma9:1-385
Schlagwörter: 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-Publikation
Enthalten in den Sammlungen:Fakultät für Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
Guedemann-Dissertation.pdf1.76 MBAdobe PDFMiniaturbild
Öffnen/Anzeigen
Zur Langanzeige BibTeX EndNote


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt, soweit nicht anderweitig angezeigt.