Skip to main content

Search results for "model checking"

Viewing 61 - 80 of 136 results by relevance

Long-Distance and Rural Travel Transferable Parameters for Statewide Travel Forecasting Models  (2012)

TRB Special Report 308: The Safety Challenge and Promise of Automotive Electronics: Insights from Unintended Acceleration  (2012)

Identification and Evaluation of Freight Demand Factors  (2012)

Consensus Study Report

Discipline-Based Education Research: Understanding and Improving Learning in Undergraduate Science and Engineering  (2012)

Consensus Study Report

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

Proceedings

Report of a Workshop on the Pedagogical Aspects of Computational Thinking  (2011)

Memorial Tributes: Volume 14  (2011)

Consensus Study Report

Achieving High-Performance Federal Facilities: Strategies and Approaches for Transformational Change  (2011)

Proceedings

Seeing the Future with Imaging Science: Interdisciplinary Research Team Summaries  (2011)

Protocols for Collecting and Using Traffic Data in Bridge Design  (2011)

Design Fires in Road Tunnels  (2011)

Consensus Study Report

Critical Code: Software Producibility for Defense  (2010)

Consensus Study Report

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

Proceedings

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

Proceedings

Databases for Estimating Health Insurance Coverage for Children: A Workshop Summary  (2010)

Advanced Practices in Travel Forecasting  (2010)

Consensus Study Report

A Database for a Changing Economy: Review of the Occupational Information Network (O*NET)  (2010)

Roundabouts: An Informational Guide – Second Edition  (2010)

Representing Freight in Air Quality and Greenhouse Gas Models  (2010)

Proceedings

Nurturing and Sustaining Effective Programs in Science Education for Grades K-8: Building a Village in California: Summary of a Convocation  (2009)