Qualitative and quantitative formal model-based safety analysis : push the safety button
| Cobertura |
004.015113 004.015113 |
|---|---|
| Data(s) |
2011
|
| Resumo |
Magdeburg, Univ., Fak. für Informatik, Diss., 2011 von Matthias Güdemann |
| Formato |
Online-Ressource (PDF-Datei: 209 S., 1756 KB) |
| Identificador |
urn:nbn:de:gbv:ma9:1-385 http://nbn-resolving.de/urn:nbn:de:gbv:ma9:1-385 system:670196630 |
| Idioma(s) |
eng |
| Publicador |
Universitätsbibl. |
| Palavras-Chave | #Softwaresystem #Funktionssicherheit #Formale Beschreibungstechnik #Hochschulschrift #Online-Publikation |
| Tipo |
text thesis |
