Login
- Title:
Model-Based Testing of Reactive Systems
- Document type:
- Konferenzbeitrag
- Author(s):
- Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A.
- Keywords:
- testing, model, reactive systems
- Book / Congress title:
- Volume 3472 of Springer LNCS
- Publisher:
- Springer Berlin Heidelberg
- Date of publication:
- 01.01.2005
- Year:
- 2005
- Fulltext / DOI:
- doi:10.1007/b137241
- WWW:
- Link
BibTeX