- Titel:
Developing Correct Safety Critical, Hybrid, Embedded Systems
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Pretschner, A., Slotosch, O., Stauner, T.
- Stichworte:
- model, development, embedded system
- Kongress- / Buchtitel:
- Proc. New Information Processing Techniques for Military Systems, NATO Research and Technology Organization
- Jahr:
- 2000
- BibTeX