User: Guest  Login
If you experience problems opening the document, please try this link.
Title:

Model Based Testing for Real: The Inhouse Card Case Study

Document type:
Konferenzbeitrag
Author(s):
Pretschner, A., Slotosch, O., Lötzbeyer, H., Aiglstorfer, E., Kriebel, S.
Keywords:
testing, model
Book / Congress title:
6th Intl. Workshop on Formal Methods for Industrial Critical Systems
Year:
2001
 BibTeX