Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.
Abstract not provided.
- Publication Date:
- OSTI Identifier:
- Report Number(s):
Journal ID: ISSN 1571-0661; 506571
- DOE Contract Number:
- Resource Type:
- Resource Relation:
- Journal Volume: 317; Conference: Proposed for presentation at the Seventh International Workshop on Numerical Software Verification held July 17-18, 2014 in Vienna, Austria.
- Research Org:
- Sandia National Laboratories (SNL-CA), Livermore, CA (United States)
- Sponsoring Org:
- USDOE National Nuclear Security Administration (NNSA)
- Country of Publication:
- United States
Enter terms in the toolbar above to search the full text of this document for pages containing specific keywords.