Leveraging Abstraction to Establish Out-of-Nominal Safety Properties.
Abstract not provided.
- Research Organization:
- Sandia National Lab. (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
- Resource Relation:
- Journal Volume: 596; Conference: Proposed for presentation at the Workshop on Formal Techniques for Safety-Critical Systems held November 6-7, 2015 in Paris, France.
- 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:1331958
Nominal Scenario: Engineered Barrier System Transport Model Abstractions.
Conference
·
Tue Apr 01 00:00:00 EDT 2008
·
OSTI ID:1331958
Nominal Scenario: Model Abstractions of Waste Package Corrosion Mechanisms.
Conference
·
Tue Apr 01 00:00:00 EDT 2008
·
OSTI ID:1331958