Maintaining soundness in hybrid verification approaches for stateful models :
Conference
·
OSTI ID:1294253
Abstract not provided.
- Research Organization:
- Sandia National Laboratories (SNL-CA), Livermore, CA (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1294253
- Report Number(s):
- SAND2012-6111C; 499241
- Country of Publication:
- United States
- Language:
- English
Similar Records
Maintaining Soundness in Hybrid Verification Approaches for Stateful Models: A Case Study.
Maintaining Soundness in Hybrid Verification Approaches for Stateful Models: A Case Study.
Hybrid approach to surrogate modeling.
Conference
·
Fri Jun 01 00:00:00 EDT 2012
·
OSTI ID:1073235
Maintaining Soundness in Hybrid Verification Approaches for Stateful Models: A Case Study.
Conference
·
Fri Jun 01 00:00:00 EDT 2012
·
OSTI ID:1141188
Hybrid approach to surrogate modeling.
Conference
·
Tue Sep 01 00:00:00 EDT 2015
·
OSTI ID:1324416