User: Guest  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