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

Conference · Wed Oct 01 00:00:00 EDT 2014

DOI:https://doi.org/10.1109/SYSCON.2015.7116737· OSTI ID:1242123

Mayo, Jackson; Armstrong, Robert C.; Hulette, Geoffrey Compton

Abstract not provided.

• Research Organization: Sandia National Lab. (SNL-CA), Livermore, CA (United States)
• Sponsoring Organization: USDOE National Nuclear Security Administration (NNSA)
• DOE Contract Number: AC04-94AL85000
• OSTI ID: 1242123
• Report Number(s): SAND2014-19374C; 540936
• 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