Formale ergänzen traditionelle Methoden in der Softwareentwicklung
Voraussetzungen für die modellbasierte Entwicklung von Autosar-Systemen
Das AUTOSAR XML Schema und seine Bedeutung für die Implementierung von AUTOSAR Werkzeugen
Model-based testing of real-time embedded systems in the automotive domain
Fuzzy operators for confidence modelling in automotive safety applications
Modular aufgebauter Regler für eine bandbegrenzte aktive Federung
Verfahren zur Feststellung der Sicherheit von vernetzten, elektronischen Systemen im Kraftfahrzeug
Diagnose als integraler Bestandteil der Funktion: Methodiken für Softwaresysteme im Kraftfahrzeug
Management von SW-Zuverlässigkeit in der Produktentwicklung: ein Erfahrungsbericht
Modellbasierte Entwicklung von Autosar-Anwendungssoftware
Diagnose elektronischer Fahrzeugsysteme durch Strukturanalysen
Bewertung des Echtzeit-Verhaltens von E/E-Systemen im Automobil