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
- Fulltext / DOI:
- doi:10.1007/3-540-45426-8_3
BibTeX