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 analysis of critical resources in automotive system architectures
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
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
Kosten-Nutzenoptimierung von Tests modellbasiert entwickelter Fahrzeugfunktionen
Model-based testing of fault scenarios in production automation
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