Login
- Titel:
Model Based Testing for Real: The Inhouse Card Case Study
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Pretschner, A., Slotosch, O., Lötzbeyer, H., Aiglstorfer, E., Kriebel, S.
- Stichworte:
- testing, model
- Kongress- / Buchtitel:
- 6th Intl. Workshop on Formal Methods for Industrial Critical Systems
- Jahr:
- 2001
BibTeX