HRP Commanding Lessons Learned: Commanding to HRF Racks
Legacy of Space Shuttle Flight Software
Autonomous and Autonomic Swarms
Collaborative Information Portal and NASA's Mars Exploration Rover Mission
Space Tug Avionics Definition Study. Volume 1: Executive Summary
Ada and Software Management in NASA: Assessment and Recommendations
Towards the Verification of Human-Robot Teams
Guide to ESA software copyright protection and patents
Payload Operations Control Center (Pocc)
Formal Verification Toolkit for Requirements and Early Design Stages
Study of Software Safety Assurance Requirements for ESA (European Space Agency) Programs
Design of a Fault-Tolerant COTS-Based Bus Architecture