Model-based Development of Fault-tolerant Embedded Software

Title:: Model-based Development of Fault-tolerant Embedded Software
Document type:: Konferenzbeitrag
Author(s):: Buckl, Christian; Knoll, Alois; Schrott, Gerhard
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

Occurrences: