Active Fault-Tolerance in Wireless Networked Control Systems
Agentenbasierte Konsistenzprüfung heterogener Modelle in der Automatisierungstechnik
Bewertung psychophysiologischer Mess-Sensoriken als Basis für nutzeradaptive Automation
Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel Eisenbahnsicherung
Sicherheit eingebetteter Systeme auf Basis arithmetischer Codierungen
Simulation-based testing of cooperative and automated vehicles
Verhaltensmodellierung in der Kraftfahrzeugtechnik mittels datenbasierter Methoden