Spaceport Command and Control System Software Development
TTEthernet Development and CFS Integration
International Space Agency CIO Forum Industrial Control System (ICS) and Cyber
Plan Execution Interchange Language (PLEXIL) Software User's Manual
Commercial Crew Vehicle Ascent Abort Simulation and Analysis
Software Verification of Orion Cockpit Displays
New Developments in ISHM for NASA Ground, Launch, and Flight Systems
Formal Assurance for Cognitive Architecture Based Autonomous Agent
Quality Attributes for Mission Flight Software: A Reference for Architects
Fast-Time Simulation of Airport Surface Movement
Spaceport Command and Control System Automation Testing