skip to main content

SciTech ConnectSciTech Connect

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

Abstract not provided.
Authors:
; ;
Publication Date:
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.
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