Login
- Titel:
Model based development of hybrid systems: specification, simulation, test case generation
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Bender, K., Broy, M., Péter, I., Pretschner, A., Stauner, T.
- Stichworte:
- testing, model, development
- Kongress- / Buchtitel:
- Modelling, Analysis, and Design of Hybrid Systems, Lecture Notes in Control and Information Sciences, Vol. 279
- Verlag / Institution:
- Springer
- Jahr:
- 2002
- Seiten:
- 37-52
- Volltext / DOI:
- doi:10.1007/3-540-45426-8_3
BibTeX