Skip to main content

Search results for "formal methods"

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

Proceedings

Privacy Research and Best Practices: Summary of a Workshop for the Intelligence Community  (2016)

Proceedings

Improving the Air Force Scientific Discovery Mission: Leveraging Best Practices in Basic Research Management: A Workshop Report  (2015)

Proceedings

Statistical Issues in Defense Analysis and Testing: Summary of a Workshop  (1994)

Consensus Study Report

Review of the U.S. Climate Change Science Program's Synthesis and Assessment Product 5.2, "Best Practice Approaches for Characterizing, Communicating, and Incorporating Scientific Uncertainty in Climate Decision Making"  (2007)

Proceedings

Soviet-American Dialogue in the Social Sciences: Research Workshops on Interdependence Among Nations  (1990)

Consensus Study Report

Education and Learning to Think  (1987)

Consensus Study Report

Decision Making for the Environment: Social and Behavioral Science Research Priorities  (2005)

Proceedings

Optimizing the Air Force Acquisition Strategy of Secure and Reliable Electronic Components: Proceedings of a Workshop  (2016)

Proceedings

Data Breach Aftermath and Recovery for Individuals and Institutions: Proceedings of a Workshop  (2016)

Proceedings

Beyond Spectre: Confronting New Technical and Policy Challenges: Proceedings of a Workshop  (2019)

Proceedings

Opportunities to Enhance the Health and Well-Being of the Department of Homeland Security Law Enforcement Workforce: Proceedings of a Workshop—in Brief  (2018)

Consensus Study Report

Attributes of a First-in-Class Environmental Program: A Letter Report Prepared for the Bureau of Ocean Energy Management  (2022)

Consensus Study Report

An Assessment of Selected Divisions of the Information Technology Laboratory at the National Institute of Standards and Technology: Fiscal Year 2021  (2021)

Proceedings

Frontiers of Engineering: Reports on Leading-Edge Engineering from the 2009 Symposium  (2010)

Consensus Study Report

Review of the Department of Homeland Security's Approach to Risk Analysis  (2010)

Consensus Study Report

Review of NASA's Aerospace Technology Enterprise: An Assessment of NASA's Aeronautics Technology Programs  (2004)

Consensus Study Report

Cryptography and the Intelligence Community: The Future of Encryption  (2022)

An Assessment of the National Institute of Standards and Technology Measurement and Standards Laboratories: Fiscal Year 1999  (1999)

Ramp Safety Practices  (2011)

Consensus Study Report

Analysis of Global Change Assessments: Lessons Learned  (2007)

Consensus Study Report

Information and Communications: Challenges for the Chemical Sciences in the 21st Century  (2003)

Consensus Study Report

Fostering Responsible Computing Research: Foundations and Practices  (2022)

Consensus Study Report

Wireless Technology Prospects and Policy Options  (2011)

Practices to Develop Effective Stakeholder Relationships at Smaller Airports  (2015)

Keeping the U.S. Computer Industry Competitive: Systems Integration  (1992)

Consensus Study Report

2005-2006 Assessment of the Army Research Laboratory  (2007)

Consensus Study Report

Industrial Methods for the Effective Development and Testing of Defense Systems  (2012)

Proceedings

Report of a Workshop on the Scope and Nature of Computational Thinking  (2010)

Proceedings

Frontiers of Engineering: Reports on Leading Edge Engineering from the 1996 NAE Symposium on Frontiers of Engineering  (1997)

Hazardous Materials in the Hydrologic Environment: The Role of Research by the U.S. Geological Survey  (1996)

Being Fluent with Information Technology  (1999)

Statistics, Testing, and Defense Acquisition: Background Papers  (1999)

Methods for Forecasting Demand and Quantifying Need for Rural Passenger Transportation  (2013)

Integrating Freight into Transportation Planning and Project-Selection Processes  (2007)

Proceedings

Cryptographic Agility and Interoperability: Proceedings of a Workshop  (2017)

Reducing Litter on Roadsides  (2009)

Chip Seal Best Practices  (2005)

Consensus Study Report

Modern Methods of Clinical Investigation  (1990)

Transit Enterprise Architecture and Planning Framework  (2011)

Airport Aviation Activity Forecasting  (2007)

Proceedings

Public Health Effectiveness of the FDA 510(k) Clearance Process: Measuring Postmarket Performance and Other Select Topics: Workshop Report  (2011)

Consensus Study Report

More Than Screen Deep: Toward Every-Citizen Interfaces to the Nation's Information Infrastructure  (1997)

Consensus Study Report

Intelligence Analysis for Tomorrow: Advances from the Behavioral and Social Sciences  (2011)

Proceedings

Frontiers of Engineering: Reports on Leading-Edge Engineering from the 2010 Symposium  (2011)

Consensus Study Report

Information Technology for Counterterrorism: Immediate Actions and Future Possibilities  (2003)

The Embassy of the Future: Recommendations for the Design of Future U.S. Embassy Buildings  (1986)

Consensus Study Report

On Being a Scientist: A Guide to Responsible Conduct in Research: Third Edition  (2009)

Clinical Practice Guidelines: Directions for a New Program  (1990)