Skip to main content

Search results for "formal methods"

Filters: 2022 2022 ×
Viewing 1 - 20 of 24 results by relevance
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

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

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

Consensus Study Report

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

Consensus Study Report

Next Generation Earth Systems Science at the National Science Foundation  (2022)

Contingency Factors to Account for Risk in Early Construction Cost Estimates for Transportation Infrastructure Projects  (2022)

Consensus Study Report

Building Data Capacity for Patient-Centered Outcomes Research: Interim Report 2–Data Standards, Methods, and Policy  (2022)

Attracting, Retaining, and Developing the 2030 Transportation Workforce: Design, Construction, and Maintenance  (2022)

Consensus Study Report

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

Proceedings

Triangulation in Environmental Epidemiology for EPA Human Health Assessments: Proceedings of a Workshop  (2022)

Measurement and Analysis of Public Opinion: An Analytic Framework  (2022)

Bridge Element Data Collection and Use  (2022)

Consensus Study Report

Cross-Cutting Themes for U.S. Contributions to the UN Ocean Decade  (2022)

Consensus Study Report

Closing Evidence Gaps in Clinical Prevention  (2022)

Consensus Study Report

Evaluating the Process to Develop the Dietary Guidelines for Americans, 2020-2025: A Midcourse Report  (2022)

Consensus Study Report

Building Data Capacity for Patient-Centered Outcomes Research: Priorities for the Next Decade  (2022)

Consensus Study Report

Frameworks for Protecting Workers and the Public from Inhalation Hazards  (2022)

Consensus Study Report

Fostering Responsible Computing Research: Foundations and Practices  (2022)

Consensus Study Report

Improving the Intelligence Community's Leveraging of the Full Science and Technology Ecosystem  (2022)