Applying model-based testing to a train control system
Generierung von Systemtestfällen für Car Multimedia Systeme aus domänenspezifischen UML Modellen
Model-based analysis of critical resources in automotive system architectures
Model-based testing of a reactive system with coloured Petri Nets
Model-based testing of automotive HMIs with consideration for product variability
Model-based testing of automotive HMIs with consideration for product variability
STEVE : Schlussbericht für den Zeitraum 15.08.2014-30.09.2017