Skip to main content

Search results for "formal methods"

Filters: 2007 2007 ×
Viewing 1 - 20 of 23 results by relevance
Consensus Study Report

Software for Dependable Systems: Sufficient Evidence?  (2007)

Consensus Study Report

Toward a Safer and More Secure Cyberspace  (2007)

Consensus Study Report

Human-System Integration in the System Development Process: A New Look  (2007)

Consensus Study Report

Review of the U.S. Climate Change Science Program's Synthesis and Assessment Product 5.2, "Best Practice Approaches for Characterizing, Communicating, and Incorporating Scientific Uncertainty in Climate Decision Making"  (2007)

Consensus Study Report

Analysis of Global Change Assessments: Lessons Learned  (2007)

Consensus Study Report

2005-2006 Assessment of the Army Research Laboratory  (2007)

Integrating Freight into Transportation Planning and Project-Selection Processes  (2007)

Airport Aviation Activity Forecasting  (2007)

Proceedings

The Learning Healthcare System: Workshop Summary  (2007)

Consensus Study Report

Toxicity Testing in the 21st Century: A Vision and a Strategy  (2007)

Estimating Toll Road Demand and Revenue  (2007)

Glut: Mastering Information Through the Ages  (2007)

The Role of Safety Culture in Preventing Commercial Motor Vehicle Crashes  (2007)

The Metropolitan Planning Organization, Present and Future  (2007)

Consensus Study Report

Measuring Respirator Use in the Workplace  (2007)

Consensus Study Report

Improving the Nation's Water Security: Opportunities for Research  (2007)

Consensus Study Report

The Future of Disability in America  (2007)

Consensus Study Report

Assessment of the NASA Applied Sciences Program  (2007)

Consensus Study Report

Models in Environmental Regulatory Decision Making  (2007)

Preserving and Using Institutional Memory Through Knowledge Management Practices  (2007)