Sanctions Implementation Framework (SIF).
Conference
·
OSTI ID:1643858
Abstract not provided.
- Research Organization:
- Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1643858
- Report Number(s):
- SAND2019-1398PE; 672422
- Country of Publication:
- United States
- Language:
- English
Similar Records
Frameworks for Assessing the Quality of Computational Simulation:History Structure and an Effective Implementation.
Q: A Sound Verification Framework for Statecharts and their Implementations.
Q: A Sound Verification Framework for Statecharts and Their Implementations.
Conference
·
Thu Nov 01 00:00:00 EDT 2012
·
OSTI ID:1116226
Q: A Sound Verification Framework for Statecharts and their Implementations.
Conference
·
Tue Nov 01 00:00:00 EDT 2022
·
OSTI ID:2006062
Q: A Sound Verification Framework for Statecharts and Their Implementations.
Conference
·
Wed Nov 30 23:00:00 EST 2022
·
OSTI ID:2006242