skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Leveraging Abstraction to Establish Out-of-Nominal Safety Properties.

Abstract

Abstract not provided.

Authors:
; ;
Publication Date:
Research Org.:
Sandia National Lab. (SNL-CA), Livermore, CA (United States)
Sponsoring Org.:
USDOE National Nuclear Security Administration (NNSA)
OSTI Identifier:
1331958
Report Number(s):
SAND2015-9397C
Journal ID: ISSN 1865--0929; 607897
DOE Contract Number:  
AC04-94AL85000
Resource Type:
Conference
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

Citation Formats

Mayo, Jackson, Armstrong, Robert C., and Hulette, Geoffrey Compton. Leveraging Abstraction to Establish Out-of-Nominal Safety Properties.. United States: N. p., 2015. Web. doi:10.1007/978-3-319-29510-7_10.
Mayo, Jackson, Armstrong, Robert C., & Hulette, Geoffrey Compton. Leveraging Abstraction to Establish Out-of-Nominal Safety Properties.. United States. doi:10.1007/978-3-319-29510-7_10.
Mayo, Jackson, Armstrong, Robert C., and Hulette, Geoffrey Compton. Thu . "Leveraging Abstraction to Establish Out-of-Nominal Safety Properties.". United States. doi:10.1007/978-3-319-29510-7_10. https://www.osti.gov/servlets/purl/1331958.
@article{osti_1331958,
title = {Leveraging Abstraction to Establish Out-of-Nominal Safety Properties.},
author = {Mayo, Jackson and Armstrong, Robert C. and Hulette, Geoffrey Compton},
abstractNote = {Abstract not provided.},
doi = {10.1007/978-3-319-29510-7_10},
journal = {},
issn = {1865--0929},
number = ,
volume = 596,
place = {United States},
year = {2015},
month = {10}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: