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
Diagnose als integraler Bestandteil der Funktion: Methodiken für Softwaresysteme im Kraftfahrzeug
Verfahren zur Feststellung der Sicherheit von vernetzten, elektronischen Systemen im Kraftfahrzeug
Management von SW-Zuverlässigkeit in der Produktentwicklung: ein Erfahrungsbericht
Modular aufgebauter Regler für eine bandbegrenzte aktive Federung
Modellbasierte Entwicklung von Autosar-Anwendungssoftware
Diagnose elektronischer Fahrzeugsysteme durch Strukturanalysen
Bewertung des Echtzeit-Verhaltens von E/E-Systemen im Automobil