Versenden
Drucken
Fey, Görschwin (2012) Assessing system vulnerability using formal verification techniques. In: Lecture Notes in Computer Science, 7119. Springer. Seiten 47-56. doi: 10.1007/978-3-642-25929-6_4.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
Offizielle URL: http://dx.doi.org/10.1007/978-3-642-25929-6_4
| elib-URL des Eintrags: | https://elib.dlr.de/80757/ | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Beitrag im Sammelband | ||||||||
| Titel: | Assessing system vulnerability using formal verification techniques | ||||||||
| Autoren: |
| ||||||||
| Datum: | 2012 | ||||||||
| Referierte Publikation: | Nein | ||||||||
| Open Access: | Nein | ||||||||
| Gold Open Access: | Nein | ||||||||
| In SCOPUS: | Nein | ||||||||
| In ISI Web of Science: | Nein | ||||||||
| Band: | 7119 | ||||||||
| DOI: | 10.1007/978-3-642-25929-6_4 | ||||||||
| Seitenbereich: | Seiten 47-56 | ||||||||
| Verlag: | Springer | ||||||||
| Name der Reihe: | Lecture Notes in Computer Science | ||||||||
| Status: | veröffentlicht | ||||||||
| Stichwörter: | Fehlertoleranz, Hardware, Formale Methoden | ||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||
| HGF - Programm: | Raumfahrt | ||||||||
| HGF - Programmthema: | keine Zuordnung | ||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||
| DLR - Forschungsgebiet: | R - keine Zuordnung | ||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | R - keine Zuordnung | ||||||||
| Standort: | Bremen | ||||||||
| Institute & Einrichtungen: | Institut für Raumfahrtsysteme > Avioniksysteme | ||||||||
| Hinterlegt von: | Fey, Görschwin | ||||||||
| Hinterlegt am: | 07 Feb 2013 12:23 | ||||||||
| Letzte Änderung: | 18 Mär 2024 12:20 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
