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