An overview is presented of the Automated Reasoning CICT Program/Intelligent Systems project. Automated reasoning technology will help NASA missions by increasing the amount of science achieved, ensuring safety of spacecraft and surface explorers, and by enabling more robust mission operations.
Automated Reasoning CICT Program/Intelligent Systems Project ATAC-PRT Review
20.05.2003
Sonstige
Keine Angabe
Englisch
The CICT Earth Science Systems Analysis Model
NTRS | 2004
|ATAC Autocuer Modeling Analysis
NTIS | 1981
|ATAC and GDI in a Small Two-Stroke Engine
SAE Technical Papers | 1999
|