User: Guest  Login
Title:

Model based development of hybrid systems: specification, simulation, test case generation

Document type:
Konferenzbeitrag
Author(s):
Bender, K., Broy, M., Péter, I., Pretschner, A., Stauner, T.
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
Fulltext / DOI:
doi:10.1007/3-540-45426-8_3
 BibTeX