Guidelines for the use of the C language in vehicle based software
Automatic transformation of system models in automotive electronics
Ascet-SD in heterogenen Entwicklungsumgebungen
In-vehicle network verification from application to physical layer
Embedded-Computing im rauen Umfeld. Rechner ohne Lüftung im dichten Gehäuse
On the implementation of the OSEK/VDX operating system on advanced microcontrollers
Microcontroller based elevator controlling system
Review of the use of object-oriented technology in industry
Einklemmsicher. Algorithmus auf Basis einer AVR-MCU für mehr Sicherheit im Auto
AC locomotive: traction equipment modelling
Teststrategien für objektorientierte Systeme
MISRA C - Normgerechtes oder effizientes C?
Model-based testing of embedded automotive software using MTest
Automatische Modellgenerierung zur Simulation der Kommunikationsumgebung im Kraftfahrzeug
Modellbasierte Entwicklung eines Tempomat für Mercedes-Benz Trucks
Precise and scalable static program analysis of NASA flight software
Personal computer application of well test analysis techniques