A Study of SPACR Ghost Dynamics Applied to RNAV Routes in the Terminal Area
Alignment and Tracking of a Free-Space Optical Communication Link to a UAV
Comparison of Host Radar Positions to Global Positioning Satellite Positions
Flight Testing Of an Airborne SVS with Highway-In-The-Sky on a Head-Up Display
Model-Based Development and the Implications to Design Assurance and Certification
Systems Engineering: A Practical Approach for Junior Engineers
A Proposal for Model-Based Safety Analysis
Case Study of the Space Shuttle Cockpit Avionics Upgrade Software
Impact of RNAV Terminal Procedures on Controller Workload
Vocalise: Assessing the Impact of Data Link Technology on the R/T Channel
Mobile Application of Augumented Reality for Aerospace Maintenance Training
Towards A Formal Language for the Common Description of Aircraft Intent
Neural Network Based Three Axis Satellite Attitude Control Using Only Magnetic Torquers
Simulation Study on Trajectory-Based High Density Operations with Helicopters
The Pilot Advisor: Assessing the Need for a Procedural Advisory Tool
Proof vs Testing in the Context of Safety Standards
CLawZ: Cost-Effective Formal Verification for Control Systems
Application of Six Sigma Tools to Product Line Business Plan Development
Security Architecture for System Wide Information Management