Leveraging Abstraction to Establish Out-of-Nominal Safety Properties.
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:
- 1331958
- Report Number(s):
- SAND2015-9397C; 607897
- Country of Publication:
- United States
- Language:
- English
Similar Records
Leveraging Abstraction to Establish Out-of-Nominal Safety Properties.
Nominal Scenario: Engineered Barrier System Transport Model Abstractions.
Nominal Scenario: Model Abstractions of Waste Package Corrosion Mechanisms.
Conference
·
Sun Nov 01 00:00:00 EDT 2015
·
OSTI ID:1331845
Nominal Scenario: Engineered Barrier System Transport Model Abstractions.
Conference
·
Tue Apr 01 00:00:00 EDT 2008
·
OSTI ID:1712651
Nominal Scenario: Model Abstractions of Waste Package Corrosion Mechanisms.
Conference
·
Tue Apr 01 00:00:00 EDT 2008
·
OSTI ID:1712654