Skip to main content

Search results for "model checking"

Viewing 81 - 100 of 136 results by relevance
Consensus Study Report

Observing Weather and Climate from the Ground Up: A Nationwide Network of Networks  (2009)

Consensus Study Report

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

Consensus Study Report

Understanding American Agriculture: Challenges for the Agricultural Resource Management Survey  (2008)

Proceedings

Innovations in Travel Demand Modeling, Volume 2: Papers  (2008)

Calibration and Validation of the Enhanced Integrated Climatic Model for Pavement Design  (2008)

Ready, Set, SCIENCE!: Putting Research to Work in K-8 Science Classrooms  (2008)

Proceedings

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

Guidelines for Concrete Mixtures Containing Supplementary Cementitious Materials to Enhance Durability of Bridge Decks  (2007)

Consensus Study Report

Software for Dependable Systems: Sufficient Evidence?  (2007)

Consensus Study Report

Toward a Safer and More Secure Cyberspace  (2007)

Consensus Study Report

Taking Science to School: Learning and Teaching Science in Grades K-8  (2007)

A Guidebook for Using American Community Survey Data for Transportation Planning  (2007)

Consensus Study Report

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

Technologies to Improve Consideration of Environmental Concerns in Transportation Decisions  (2006)

Statewide Travel Forecasting Models  (2006)

Consensus Study Report

Review of the U.S. Climate Change Science Program's Synthesis and Assessment Product on Temperature Trends in the Lower Atmosphere  (2005)

Simplified Shear Design of Structural Concrete Members: Appendixes  (2005)

Consensus Study Report

Population, Land Use, and Environment: Research Directions  (2005)

Proceedings

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