Zusätzliche Aspekte zur Anwendung von formalen Techniken
Zu Hause auf vielen Plattformen
Zügig am Stau vorbei. Verkehrstelematik: Der Trend geht zu dynamischen Zielführungssystemen
Wirbel um OSEK. Neue Entwicklungsmethodik für die Kfz-Steuerungselektronik