Scientific Approaches to Cybersecurity: Design and Analysis of Complex Digital Systems.
Conference
·
OSTI ID:1456840
Abstract not provided.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1456840
- Report Number(s):
- SAND2017-6338PE; 654529
- Resource Relation:
- Conference: Proposed for presentation at the UK visit to Sandia held May 24-25, 2017 in Livermore, CA.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Hazard and Consequence Analysis for Digital Systems - A New Approach to Risk Analysis in the Digital Era for Nuclear Power Plants.
Digital Design Verification using Formal and Complexity Analysis.
Critical Thinking and Systems Analysis Approach - Lecture 1: System Thinking and Scientific Method.
Conference
·
Thu Nov 01 00:00:00 EDT 2018
·
OSTI ID:1456840
+1 more
Digital Design Verification using Formal and Complexity Analysis.
Conference
·
Sat Mar 01 00:00:00 EST 2014
·
OSTI ID:1456840
+1 more
Critical Thinking and Systems Analysis Approach - Lecture 1: System Thinking and Scientific Method.
Conference
·
Fri Feb 01 00:00:00 EST 2013
·
OSTI ID:1456840