Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation

Benutzer: Gast

Titel:: Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Bender, Klaus; Broy, Manfred; Péter, István; Pretschner, Alexander; Stauner, Thomas
Stichworte:: testing, model, development
Kongress- / Buchtitel:: Modelling, Analysis, and Design of Hybrid Systems
Verlag / Institution:: Springer Science + Business Media
Jahr:: 2002
Volltext / DOI:: doi:10.1007/3-540-45426-8_3
BibTeX

Vorkommen: