Logic Model Checking of Time-Periodic Real-Time Systems
An Operations Concept for Integrated Model-Centric Engineering at JPL
NASA SensorWeb: From v2.0 to v3.0 Workflows and WCPS for Space Applications
Intuitive Programming of Conditional Tasks by Demonstration of Multiple Solutions
The intelligent user interface for NASA's advanced information management systems
A system management methodology for building successful resource management systems
Situation Awareness of Onboard System Autonomy
Ontological Modeling for Integrated Spacecraft Analysis
Health Management Systems Engineering and Integration
Next Generation Remote Agent Planner
Overview of Model-Based Systems Engineering Efforts to Evolve the Airspace Research Roadmap
Decision Support System for Extravehicular Operations Under Significant Communication Latency
Software Reliability Program Implementation Guide
General Automotive Embedded Software Design Requirements