Benutzer: Gast  Login
Dokumenttyp:
Konferenzbeitrag 
Autor(en):
Lötzbeyer, H., Pretschner, A 
Titel:
Testing Concurrent Reactive Systems with Constraint Logic Programming 
Stichworte:
testing, model, logic, reactive systems 
Kongress- / Buchtitel:
2nd workshop on Rule-Based Constraint Reasoning and Programming, 
Jahr:
2000