Ada in the post deployment software support environment
A differential OFDM approach to coherence time mitigation in DSRC
A fundamental scalability criterion for data aggregation in VANETs
A fuzzy logic based approach for structure-free aggregation in vehicular ad-hoc networks
A geo-location based opportunistic data dissemination approach for MANETs
Analysis and design of effective and low-overhead transmission power control for VANETs
An approach to the pervasive formal specification and verification of an automotive system
ASDEN: a comprehensive design framework vision for automotive electronic control systems
A simulation study of traffic efficiency improvement based on car-to-x communication
Assessing the Potential of Ride-Sharing Using Mobile and Social Data: A Tale of Four Cities