A computer-aided approach to preliminary hazard analysis for automotive embedded systems
AIAA-2001-4905 Crewmember and Crew-Ground Interactions During International Space Station Missions
A Methodology for Holistic Air Transport System Analysis
Applying algebraic and differential invariants for logo recognition
Architecture of a Vehicle Communication Gateway for Media Independent Handover