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

User: Guest

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

Occurrences: