skip to main content

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

Abstract not provided.
Authors:
; ;
Publication Date:
OSTI Identifier:
1242123
Report Number(s):
SAND2014-19374C
540936
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.
Research Org:
Sandia National Laboratories (SNL-CA), Livermore, CA (United States)
Sponsoring Org:
USDOE National Nuclear Security Administration (NNSA)
Country of Publication:
United States
Language:
English