Guidelines for the use of the C language in vehicle based software
Automatic transformation of system models in automotive electronics
In-vehicle network verification from application to physical layer
Ascet-SD in heterogenen Entwicklungsumgebungen
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
Einklemmsicher. Algorithmus auf Basis einer AVR-MCU für mehr Sicherheit im Auto
Review of the use of object-oriented technology in industry
Microcontroller based elevator controlling system
AC locomotive: traction equipment modelling
Model-based testing of embedded automotive software using MTest
Teststrategien für objektorientierte Systeme
MISRA C - Normgerechtes oder effizientes C?
Modellbasierte Entwicklung eines Tempomat für Mercedes-Benz Trucks
Automatische Modellgenerierung zur Simulation der Kommunikationsumgebung im Kraftfahrzeug
Precise and scalable static program analysis of NASA flight software
Evaluation of chemical composition limits of GMA welding electrode specifications for HSLA-100 steel
Personal computer application of well test analysis techniques