Login
- Title:
Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation
- Document type:
- Konferenzbeitrag
- Author(s):
- Bender, Klaus; Broy, Manfred; Péter, István; Pretschner, Alexander; Stauner, Thomas
- Keywords:
- testing, model, development
- Book / Congress title:
- Modelling, Analysis, and Design of Hybrid Systems
- Publisher:
- Springer Science + Business Media
- Year:
- 2002
- Fulltext / DOI:
- doi:10.1007/3-540-45426-8_3
BibTeX