Login
- Titel:
Models for automatic generation of safety-critical real-time systems
- Autor(en):
- Buckl, Christian; Regensburger, Matthias; Knoll, Alois; Schrott, Gerhard
- Stichworte:
- embedded, ftos
- Kongress- / Buchtitel:
- Proceedings of the Second International Conference on Availability, Reliability and Security (ARES))
- Verlag / Institution:
- IEEE
- Jahr:
- 2007
- Seiten:
- 580--587
BibTeX