Introducing HOOD into software process modelling based environments
A Visual Brain Chip Based on Selective Attention for Robot Vision Application
Aspects of the safety analysis of an on-board automatic train operation supervisor
Autonomous Planning and Execution for a Future Titan Aerobot
The Deep Impact Network Experiment Operations Center Monitor and Control System
Introspection-Based Verification and Validation
Enhancing Collaboration among NASA Engineers through a Knowledge Sharing System
Increasing the Efficiency of Next-Generation Space Operations by Exploiting Predictability
A Fault-Tolerant Middleware Switch for Space Applications
Viewpoint-Based Test Analysis for Dependable Onboard Flight Software
Automatic Extraction of Planetary Image Features
Automated Targeting for the MER Rovers
A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosis