Model-based Development of Fault-tolerant Embedded Software

Titel:: Model-based Development of Fault-tolerant Embedded Software
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Buckl, Christian; Knoll, Alois; Schrott, Gerhard
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

Vorkommen: