Virtual agents in a simulated virtual training environment
Validating system-level error recovery for spacecraft
Unsupervised Change Detection for Space Habitats Using 3D Point Clouds
Towards a Framework for Modeling Space Systems Architectures
The virtual environment display system
The Impact of Autonomous Systems Technology on JPL Mission Software
The embedded software life cycle - An expanded view
Structuring the formal definition of Ada
Software Engineering and Swarm-Based Systems
RT_BUILD: An expert programmer for implementing and simulating Ada real-time control software
Reducing the risks of using Ada onboard the Space Station
Quality Attributes for Mission Flight Software: A Reference for Architects
Practical Application of Model-based Programming and State-based Architecture to Space Missions
Organising geometric computations for space telerobotics
Onboard autonomy software on the Three Corner Sat mission