Scheduling vehicle between origin and destination to maximize traveler satisfaction
Instantiating generic charts for Railway Interlocking Systems
Power management techniques for very low consumption and EMI reduction in automotive applications
A static-node assisted adaptive routing protocol in vehicular networks
Contactless CAN interface - a standard for aftermarket automotive
CAN-based distributed real-time control in hybrid electric vehicles
Fibex gateway configuration tool chain
New competitive strategies for searching in unknown star-shaped polygons
Using specification-driven concepts for distributed data management and dissemination
Integrated premission planning and execution for unmanned ground vehicles
Investigating the readability of state-based formal requirements specification languages
ASDEN: a comprehensive design framework vision for automotive electronic control systems
Reusing single system requirements from application family requirements
VHP: Approximate Nearest Neighbor Search via Virtual Hypersphere Partitioning
Ada in the post deployment software support environment