Skip to main content

Search results for "formal methods"

Viewing 1 - 20 of 533 results by relevance
Consensus Study Report

A 21st Century Cyber-Physical Systems Education  (2016)

Consensus Study Report

Trust in Cyberspace  (1999)

Consensus Study Report

Software for Dependable Systems: Sufficient Evidence?  (2007)

Proceedings

Summary of a Workshop on Software Certification and Dependability  (2004)

Proceedings

Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop  (2023)

Consensus Study Report

Assistance to the U.S. Army Medical Research and Materiel Command with Preparation of a Risk Assessment for the Medical Countermeasures Test and Evaluation (MCMT&E) Facility at Fort Detrick, Maryland: A Letter Report  (2011)

Consensus Study Report

Information Technology Innovation: Resurgence, Confluence, and Continuing Impact  (2020)

Consensus Study Report

Interim Report on 21st Century Cyber-Physical Systems Education  (2015)

Consensus Study Report

Computer Science and Artificial Intelligence  (1997)

Digital Instrumentation and Control Systems in Nuclear Power Plants: Safety and Reliability Issues  (1997)

Maintaining U.S. Leadership in Aeronautics: Breakthrough Technologies to Meet Future Air and Space Transportation Needs and Goals  (1998)

Keeping the U.S. Computer Industry Competitive: Defining the Agenda  (1990)

Consensus Study Report

Approaches to Improve Engineering Design  (2001)

Proceedings

Assessing and Improving AI Trustworthiness: Current Contexts and Concerns: Proceedings of a Workshop–in Brief  (2021)

Theoretical Foundations for Decision Making in Engineering Design  (2001)

Proceedings

Characterizing Uncertainty in the Assessment of Benefits and Risks of Pharmaceutical Products: Workshop in Brief  (2014)

Consensus Study Report

Improved Operational Testing and Evaluation and Methods of Combining Test Information for the Stryker Family of Vehicles and Related Army Systems: Phase II Report  (2004)

Consensus Study Report

Computers at Risk: Safe Computing in the Information Age  (1991)

Proceedings

Implications of Artificial Intelligence for Cybersecurity: Proceedings of a Workshop  (2019)

Enhancing Human Performance: Background Papers, Issues of Theory and Methodology  (1988)