Login
- Titel:
Toward an Efficient Methodology for the Analysis of Fault-Tolerant Systems
- Autor(en):
- Cheng, Chih-Hong; Buckl, Christian; Esparza, Javier; Knoll, Alois
- Stichworte:
- embedded
- Kongress- / Buchtitel:
- 4th International Workshop on Systems Software Verification (SSV'09)(Doctoral Symposium)
- Jahr:
- 2009
- Monat:
- month
BibTeX