Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Augsburg"
Treffer 2072 von 2261
|
|
| Link zu diesem Datensatz | https://d-nb.info/973155647 |
| Art des Inhalts | Hochschulschrift |
| Titel | Formale Fehlerbaumanalyse / vorgelegt von Andreas Thums |
| Person(en) | Thums, Andreas (Verfasser) |
| Zeitliche Einordnung | Erscheinungsdatum: 2004 |
| Umfang/Format | Online-Ressource, ca. 1,9 MB |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Thums, Andreas: Formale Fehlerbaumanalyse |
| Hochschulschrift | Augsburg, Univ., Diss., 2004 |
| Persistent Identifier | URN: urn:nbn:de:bvb:384-opus-382 |
| URL |
http://www.opus-bayern.de/uni-augsburg/volltexte/2004/38/pdf/eVeroeffentlichung.pdf (Verlag) (kostenfrei zugänglich) http://www.opus-bayern.de/uni-augsburg/volltexte/2004/38/index.html (Verlag) |
| Schlagwörter |
Eingebettetes System ; Sicherheitskritisches System ; Sicherheitsanalyse ; Formale Methode ; Softwarespezifikation ; Online-Publikation Fehlerbaumanalyse ; Formale Semantik ; Temporale Logik ; Statechart ; Verifikation ; Online-Publikation |
| Sachgruppe(n) | 004 Informatik ; 620 Ingenieurwissenschaften und Maschinenbau |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 2072 von 2261
Administration
