Login
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Buckl, Christian; Knoll, Alois; Schrott, Gerhard
- Titel:
- Model-based Development of Fault-tolerant Embedded Software
- Stichworte:
- embedded, ftos
- Kongress- / Buchtitel:
- Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (IEEE-ISoLA)
- Verlag / Institution:
- IEEE
- Jahr:
- 2006
- Seiten:
- 103--110
BibTeX