Optimization of Hub-Spoken Topology Based on Dependable Margin Motion Coefficient
IEED system: a new kind of automotive electrical system
Durchgängige Behandlung von Fehlern in Embedded-Systemen bei der MAN Nutzfahrzeuge AG
Modellbasierte Software-Entwicklung für verteilte Echtzeitsysteme im Kraftfahrzeug
Modellbasierte Software-Entwicklung für verteilte Echtzeitsysteme im Kraftfahrzeug
Engineering large-scale agent-based systems with consensus
Entwurf von verteilten fehlertoleranten Elektronikarchitekturen in Kraftfahrzeugen
An approach to the pervasive formal specification and verification of an automotive system
Methodische Entwicklung und Leistungsanalyse der Steuergerätevernetzung im Automobil
Methodische Entwicklung und Leistungsanalyse der Steuergerätevernetzung im Automobil