Login
- Titel:
Model-Based Testing of Reactive Systems
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A.
- Stichworte:
- testing, model, reactive systems
- Buchtitel:
- Model-Based Testing of Reactive Systems
- Kongress- / Buchtitel:
- Volume 3472 of Springer LNCS
- Verlag / Institution:
- Springer Berlin Heidelberg
- Publikationsdatum:
- 01.01.2005
- Jahr:
- 2005
- Volltext / DOI:
- doi:10.1007/b137241
- WWW:
- Link
BibTeX