User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Bender, K., Broy, M., Péter, I., Pretschner, A., Stauner, T. 
Title:
Model based development of hybrid systems: specification, simulation, test case generation 
Keywords:
testing, model, development 
Book / Congress title:
Modelling, Analysis, and Design of Hybrid Systems, Lecture Notes in Control and Information Sciences, Vol. 279 
Publisher:
Springer 
Year:
2002 
Pages:
37-52