Skip to main content

Search results for "model checking"

Viewing 1 - 20 of 136 results by relevance

Travel Demand Forecasting: Parameters and Techniques  (2012)

Consensus Study Report

Critical Code: Software Producibility for Defense  (2010)

Consensus Study Report

Preliminary Observations on DoD Software Research Needs and Priorities: A Letter Report  (2008)

Consensus Study Report

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

Proceedings

Summary of a Workshop on Software-Intensive Systems and Uncertainty at Scale  (2007)

Proceedings

Summary of a Workshop on Software Certification and Dependability  (2004)

Memorial Tributes: Volume 24  (2022)

Consensus Study Report

The Prevention and Treatment of Missing Data in Clinical Trials  (2010)

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

Consensus Study Report

An Interim Report on NASA's Draft Space Technology Roadmaps  (2011)

Consensus Study Report

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

Consensus Study Report

NASA Space Technology Roadmaps and Priorities Revisited  (2016)

Consensus Study Report

Information Technology Innovation: Resurgence, Confluence, and Continuing Impact  (2020)

Consensus Study Report

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

Consensus Study Report

Basic Research in Information Science and Technology for Air Force Needs  (2006)

Consensus Study Report

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

BIM Beyond Design Guidebook  (2020)

Consensus Study Report

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

Proceedings

The American Community Survey: Summary of a Workshop  (2001)