Models for automatic generation of safety-critical real-time systems

Title:: Models for automatic generation of safety-critical real-time systems
Author(s):: Buckl, Christian; Regensburger, Matthias; Knoll, Alois; Schrott, Gerhard
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
BibTeX

Occurrences: