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
BibTeX