-
Verification and Validation
Shared by: MISTY DAVIES
This site allows us to collect information and resources about the compositional verification for flight critical systems effort going on ...
2 members / 0 resources
-
Verification and Validation
Shared by: MISTY DAVIES
This project explores the use of heuristic techniques in combination with symbolic (or concolic) execution as a way to find ...
2 members / 1 resources
-
Verification and Validation
Shared by: MISTY DAVIES
Forum and storage for the Summer 2011 Clustering research and experiments. The goal for this Summer will be to explore ...
8 members / 19 resources
-
Data Mining and Knowledge Discovery, Diagnostics, Human Factors, Prognostics, Verification and Validation
Shared by: Elizabeth Foughty
7 members / 1 resources
-
Data Mining and Knowledge Discovery, Verification and Validation
Shared by: MISTY DAVIES
A collaboration between Ames and UC Santa Cruz to perform statistical emulation of complex, nonlinear simulators at NASA. These emulations ...
2 members / 0 resources
-
Data Mining and Knowledge Discovery
Shared by: Stephanie Reynolds
This area can be used for communication about the Research and Test Integration Project. Leave comments, questions, and requests here. ...
7 members / 1 resources
MISTY's Projects (6)
Need help?
Visit our help center