- Title:
Developing Correct Safety Critical, Hybrid, Embedded Systems
- Document type:
- Konferenzbeitrag
- Author(s):
- Pretschner, A., Slotosch, O., Stauner, T.
- Keywords:
- model, development, embedded system
- Book / Congress title:
- Proc. New Information Processing Techniques for Military Systems, NATO Research and Technology Organization
- Year:
- 2000
- BibTeX