Electromagnetic Compatibility of the Electric Vehicles Simulation and Characterization
The CyCab: An Electric Vehicle Specifically Designed for Ca-Free Cities
An experience on the use of proof techniques for the validation of an on-board system
High-Altitude Deployment of Landers to Asteroid Surfaces Using Natural Manifolds (AAS 14-355)
Orbital Evolution of Two Near-Earth Asteriods: Nereus and 1989ML
Module Templates for the Specification of Fault-Tolerant Systems
Module Templates for the Specification of Fault-Tolerant Systems