User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. 
Title:
Model-Based Testing of Reactive Systems 
Keywords:
testing, model, reactive systems 
Book / Congress title:
Volume 3472 of Springer LNCS 
Publisher:
Springer Berlin Heidelberg 
Date of publication:
01.01.2005 
Year:
2005 
WWW: