Optimizing the Execution of Independent Multi-Version Programs
The Development and Evaluation of a Real-Time Turbulence Auto-PIREP System for Aircraft
A Bandwidth Allocation Scheme for Scalable Coherent Interface (SCI) Based Avionics Real-Time Network
A Linear Programming Approach for Route and Level Flight Assignment
Autonomous Aircraft Operations using RTCA Guidelines for Airborne Conflict Management
Three-Dimensional Stereoscopic Visualization for Air Traffic Control Interfaces: A Preliminary Study
ADS-B: Safety Analysis of it's Use for In-Trail Approach Spacing
(GCNSS) Satellite Based Architecture for Air Traffic Management