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