Skip to main content

Search results for "formal methods"

Viewing 1 - 50 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)

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)

Fixed-Route Transit Ridership Forecasting and Service Planning Methods  (2006)

Application of Enterprise Risk Management at Airports  (2012)

Proceedings

Software Update as a Mechanism for Resilience and Security: Proceedings of a Workshop  (2017)

Communicating the Value of Transportation Research  (2009)

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)

Statistical Software Engineering  (1996)

Proceedings

Adapting Agricultural Extension to Peacebuilding: Report of a Workshop by the National Academy of Engineering and United States Institute of Peace: Roundtable on Technology, Science, and Peacebuilding  (2012)

Myths and Tradeoffs: The Role of Tests in Undergraduate Admissions  (1999)

Consensus Study Report

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

Proceedings

Recoverability as a First-Class Security Objective: Proceedings of a Workshop  (2018)

Consensus Study Report

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

Consensus Study Report

Toward a Safer and More Secure Cyberspace  (2007)

Consensus Study Report

Testing of Defense Systems in an Evolutionary Acquisition Environment  (2006)

Consensus Study Report

Review of EPA's Integrated Risk Information System (IRIS) Process  (2014)

Toward a New National Weather Service: A First Report  (1991)

Risk and Decision Making: Perspectives and Research  (1982)

Probabilistic Methods in Geotechnical Engineering  (1995)

Consensus Study Report

Retooling Manufacturing: Bridging Design, Materials, and Production  (2004)

Safety Reporting Systems at Airports  (2014)

Proceedings

A Review of the New Initiatives at the NASA Ames Research Center: Summary of a Workshop  (2001)

Scaling Up: A Research Agenda for Software Engineering  (1989)

Consensus Study Report

Review of U.S. EPA's ORD Staff Handbook for Developing IRIS Assessments: 2020 Version  (2022)

Ontologies in the Behavioral Sciences: Accelerating Research and the Spread of Knowledge: Digest Version  (2022)

Consensus Study Report

Human-System Integration in the System Development Process: A New Look  (2007)

Proceedings

Refining the Concept of Scientific Inference When Working with Big Data: Proceedings of a Workshop—in Brief  (2016)