Unmanned Aircraft Systems in the National Airspace System: A Formal Methods Perspective
Commanding Constellations (Pipeline Architecture)
Time Manager Software for a Flight Processor
NDAS Hardware Translation Layer Development
NASA Applications for Computational Electromagnetic Analysis
Using Sequence Diagrams to Detect Communication Problems Between Systems
Distributed Avionics and Software Verification for the Constellation Program
Reconfigurable HIL Testing of Earth Satellites
Automatic Focus Adjustment of a Microscope