Timing-Analysen für die Untersuchung von Vernetzungsarchitekturen
Bestimmung einer Qualitätsmetrik für FlexRay-Netzwerke
Auswertung der Betriebserfahrung zum Zuverlässigkeitsnachweis sicherheitskritischer Softwaresysteme
A command and data handling unit for pico-satellite missions
Model checking flight guidance systems: from synchrony to asynchrony
Systemsicherheit und Sicherheit in zukünftigen Datennetzarchitekturen
Practical issues in the development of an embedded real-time expert system
Systementwurf mit State Machines. Grafische OSEK-Entwicklungsumgebung
Von den Fahrzeuganforderungen zur modularen Hybridsoftware
Reliability analysis of aircraft power supply systems
Formal verification of safety requirements on complex systems
Multiobjective optimization of fault-tolerant aircraft systems considering system degradation
Mensch denkt, Chip lenkt. Computer unterstützen den Autofahrer
Die Bewertung der Verlässlichkeit von Mensch-Maschine-Systemen