Specification and verification of embedded real-time systems in the automotive domain
Trusted computing für adaptive Automobilsteuergeräte im Umfeld der Inter-Fahrzeug-Kommunikation
DC/DC-Wandler zur Einbindung von Doppelschichtkondensatoren in das Fahrzeugenergiebordnetz