Enhancing ACC stop&go with digital map information
Automatic instantiation for railway interlocking systems
Generation of counterexamples for Multi-Object Systems
Multiple software product lines in automotive software development
Real-time detection of pathological traffic situations via AIS
A formal approach for deriving collective from individual risk in railway systems
Automated dispatching of train operations using discrete optimisation method
Prototyping-Plattform - jetzt offen für Serienwerkzeuge
Regionales Content Providing in der Verkehrstelematik
Logische Analyse offener Kommunikationsarchitekturen für Kraftfahrzeuge
Nutzung von projektiven Texturen auf einer GPU zur Distanzmessung für automotive Sensorsimulationen
76.5 GHz radar sensor for safety relevant dynamic data acquisition in vehicles
Meeting hard real-time requirements in distributed systems
CANopen vernetzte Zusatzgeräte für Sonderfahrzeuge
3D reconstruction using a mono camera system for automotive applications
Mehrstufiger Softwaretestprozess in der modellbasierten Funktionsentwicklung