Skip to main content
U.S. Department of Energy
Office of Scientific and Technical Information

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.
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

Related Subjects