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
Wie kostenlos ist Linux?/"Linux ist keine Gelddruckmaschine"
Weg zum Ziel. Mobile IPC halten Einzug in Fahrzeuge