Tell a friend
Print
Fey, Görschwin (2012) Assessing system vulnerability using formal verification techniques. In: Lecture Notes in Computer Science, 7119. Springer. pp. 47-56. doi: 10.1007/978-3-642-25929-6_4.
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1007/978-3-642-25929-6_4
| Item URL in elib: | https://elib.dlr.de/80757/ | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Contribution to a Collection | ||||||||
| Title: | Assessing system vulnerability using formal verification techniques | ||||||||
| Authors: |
| ||||||||
| Date: | 2012 | ||||||||
| Refereed publication: | No | ||||||||
| Open Access: | No | ||||||||
| Gold Open Access: | No | ||||||||
| In SCOPUS: | No | ||||||||
| In ISI Web of Science: | No | ||||||||
| Volume: | 7119 | ||||||||
| DOI: | 10.1007/978-3-642-25929-6_4 | ||||||||
| Page Range: | pp. 47-56 | ||||||||
| Publisher: | Springer | ||||||||
| Series Name: | Lecture Notes in Computer Science | ||||||||
| Status: | Published | ||||||||
| Keywords: | Fehlertoleranz, Hardware, Formale Methoden | ||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||
| HGF - Program: | Space | ||||||||
| HGF - Program Themes: | other | ||||||||
| DLR - Research area: | Raumfahrt | ||||||||
| DLR - Program: | R - no assignment | ||||||||
| DLR - Research theme (Project): | R - no assignment | ||||||||
| Location: | Bremen | ||||||||
| Institutes and Institutions: | Institute of Space Systems > Avionics Systems | ||||||||
| Deposited By: | Fey, Görschwin | ||||||||
| Deposited On: | 07 Feb 2013 12:23 | ||||||||
| Last Modified: | 18 Mar 2024 12:20 |
Repository Staff Only: item control page
