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

Title: Digital System Robustness via Design Constraints: The Lesson of Formal Methods.

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:
1248581
Report Number(s):
SAND2015-2796C
579908
DOE Contract Number:
AC04-94AL85000
Resource Type:
Conference
Resource Relation:
Conference: Proposed for presentation at the IEEE International Systems Conference held April 13-16, 2015 in Vancouver, BC, Canada.
Country of Publication:
United States
Language:
English

Citation Formats

Mayo, Jackson, Armstrong, Robert C., and Hulette, Geoffrey Compton. Digital System Robustness via Design Constraints: The Lesson of Formal Methods.. United States: N. p., 2015. Web.
Mayo, Jackson, Armstrong, Robert C., & Hulette, Geoffrey Compton. Digital System Robustness via Design Constraints: The Lesson of Formal Methods.. United States.
Mayo, Jackson, Armstrong, Robert C., and Hulette, Geoffrey Compton. Wed . "Digital System Robustness via Design Constraints: The Lesson of Formal Methods.". United States. doi:. https://www.osti.gov/servlets/purl/1248581.
@article{osti_1248581,
title = {Digital System Robustness via Design Constraints: The Lesson of Formal Methods.},
author = {Mayo, Jackson and Armstrong, Robert C. and Hulette, Geoffrey Compton},
abstractNote = {Abstract not provided.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Wed Apr 01 00:00:00 EDT 2015},
month = {Wed Apr 01 00:00:00 EDT 2015}
}

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: