Skip to main content

Search results for "model checking"

Viewing 1 - 20 of 136 results by relevance

Digital Model–Based Project Development and Delivery: A Guide for Quality Management  (2025)

Consensus Study Report

Machine Learning for Safety-Critical Applications: Opportunities, Challenges, and a Research Agenda  (2025)

Consensus Study Report

Defense Software for a Contested Future: Agility, Assurance, and Incentives  (2025)

NAM Special Publication

Generative Artificial Intelligence in Health and Medicine: Opportunities and Responsibilities for Transformative Innovation  (2025)

Practices for Operational Traffic Simulation Models  (2025)

Consensus Study Report

Understanding and Addressing Misinformation About Science  (2025)

Consensus Study Report

Impacts of National Science Foundation Engineering Research Support on Society  (2024)

Quality Processes for Bridge Analysis Models  (2024)

Proceedings

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

Improved Cross-Frame Analysis and Design: Wide-Flange T-Shape Sections  (2023)

Accessing America's Great Outdoors: Forecasting Recreational Travel Demand  (2023)

Development of Crash Prediction Models for Short-Term Durations  (2023)

Guide for Roundabouts  (2023)

Memorial Tributes: Volume 24  (2022)

3D Digital Models as Highway Construction Contract Documents  (2022)

Proceedings

Innovation, Global Value Chains, and Globalization Measurement: Proceedings of a Workshop  (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)

Guidebook for Data and Information Systems for Transportation Asset Management  (2021)

TR News September-October 2021: State of Emergency: What Transportation Learned From 9/11  (2021)

Practices for Construction-Ready Digital Terrain Models  (2021)