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 |
| 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: | PhDThesis |
| 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 | Size | Format | |
|---|---|---|---|---|
| Guedemann-Dissertation.pdf | 1.76 MB | Adobe PDF |  View/Open |