User: Guest  Login
Author(s):
Buckl, Christian; Regensburger, Matthias; Knoll, Alois; Schrott, Gerhard 
Title:
Models for automatic generation of safety-critical real-time systems 
Keywords:
embedded, ftos 
Book / Congress title:
Proceedings of the Second International Conference on Availability, Reliability and Security (ARES)) 
Publisher:
IEEE 
Year:
2007 
Pages:
580--587