Login
- Document type:
- Konferenzbeitrag
- Author(s):
- Pretschner, A., Slotosch, O., Lötzbeyer, H., Aiglstorfer, E., Kriebel, S.
- Title:
- Model Based Testing for Real: The Inhouse Card Case Study
- Keywords:
- testing, model
- Book / Congress title:
- 6th Intl. Workshop on Formal Methods for Industrial Critical Systems
- Year:
- 2001
BibTeX