Skip to main content

Search results for "formal verification"

Filters: Transportation Research Board TRB ×
Viewing 1 - 11 of 11 results by relevance

Tack Coat Specifications, Materials, and Construction Practices  (2018)

Review of U.S. Coast Guard Vessel Stability Regulations  (2018)

Quality Management of Pavement Condition Data Collection  (2009)

Highway Safety Research Agenda: Infrastructure and Operations  (2013)

Prototype Airport Sustainability Rating System—Characteristics, Viability, and Implementation Options  (2014)

Procedures for Verification and Validation of Computer Simulations Used for Roadside Safety Applications  (2011)

Transit Enterprise Architecture and Planning Framework  (2011)

Mixing and Compaction Temperatures of Asphalt Binders in Hot-Mix Asphalt  (2010)

Airport Biometrics: A Primer  (2021)

Guidance for Cost Estimation and Management for Highway Projects During Planning, Programming, and Preconstruction  (2007)

Consensus Study Report

Advancing Aeronautical Safety: A Review of NASA's Aviation Safety-Related Research Programs  (2010)