Skip to main content

Search results for "formal methods"

Filters: Consensus Study Reports Consensus Study Reports ×
Viewing 1 - 20 of 265 results by relevance
Consensus Study Report

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

Consensus Study Report

Trust in Cyberspace  (1999)

Space Studies Board Annual Report 2009  (2010)

Space Studies Board: Annual Report 1995  (1996)

Consensus Study Report

Software for Dependable Systems: Sufficient Evidence?  (2007)

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)

Consensus Study Report

Approaches to Improve Engineering Design  (2001)

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)

Consensus Study Report

Critical Code: Software Producibility for Defense  (2010)

Consensus Study Report

Progress Toward Transforming the Integrated Risk Information System (IRIS) Program: A 2018 Evaluation  (2018)

Consensus Study Report

Foundational Cybersecurity Research: Improving Science, Engineering, and Institutions  (2017)

Consensus Study Report

Improved Operational Testing and Evaluation: Better Measurement and Test Design for the Interim Brigade Combat Team with Stryker Vehicles: Phase I Report  (2003)

Consensus Study Report

Clinical Practice Guidelines We Can Trust  (2011)

Consensus Study Report

Advancing the Framework for Assessing Causality of Health and Welfare Effects to Inform National Ambient Air Quality Standard Reviews  (2022)

Consensus Study Report

An Assessment of the National Institute of Standards and Technology Information Technology Laboratory: Fiscal Year 2011  (2011)

Consensus Study Report

Letter Report to the U.S. Department of Education on the Race to the Top Fund  (2009)