Aktive Ausgangsselektion zur modellbasierten Kalibrierung dynamischer Fahrmanöver
Aktive Ausgangsselektion zur modellbasierten Kalibrierung dynamischer Fahrmanöver
Aktive Ausgangsselektion zur modellbasierten Kalibrierung dynamischer Fahrmanöver
Aktive Ausgangsselektion zur modellbasierten Kalibrierung dynamischer Fahrmanöver
STEVE : Schlussbericht für den Zeitraum 15.08.2014-30.09.2017
STEVE : Schlussbericht für den Zeitraum 15.08.2014-30.09.2017
Model-based testing of fault scenarios in production automation
Model-based analysis of critical resources in automotive system architectures
Kosten-Nutzenoptimierung von Tests modellbasiert entwickelter Fahrzeugfunktionen
Model-based testing of automotive HMIs with consideration for product variability
Model-based testing of automotive HMIs with consideration for product variability
Model-based testing of automotive HMIs with consideration for product variability
Specification and verification of embedded real-time systems in the automotive domain
Specification and verification of embedded real-time systems in the automotive domain
Applying model-based testing to a train control system
Model-based testing of a reactive system with coloured Petri Nets
Generierung von Systemtestfällen für Car Multimedia Systeme aus domänenspezifischen UML Modellen