User: Guest  Login
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