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 |
| Art: | Dissertation |
| 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öße | Format | |
|---|---|---|---|---|
| Guedemann-Dissertation.pdf | 1.76 MB | Adobe PDF |  Öffnen/Anzeigen |