A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosis
Patterned Growth in Extreme Environments
Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL
The Lunar Laser Communications Demonstration (LLCD)
Earned Value Management Software Projects
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