User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Bender, Klaus; Broy, Manfred; Péter, István; Pretschner, Alexander; Stauner, Thomas 
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 
Publisher:
Springer Science + Business Media 
Year:
2002