Login
- Document type:
- Konferenzbeitrag
- Author(s):
- Buckl, Christian; Knoll, Alois; Schrott, Gerhard
- Title:
- Model-based Development of Fault-tolerant Embedded Software
- Keywords:
- embedded, ftos
- Book / Congress title:
- Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (IEEE-ISoLA)
- Publisher:
- IEEE
- Year:
- 2006
- Pages:
- 103--110
BibTeX