Skip to main content

Search results for "formal verification"

Filters: Transportation and Infrastructure Transportation and Infrastructure ×
Viewing 1 - 11 of 11 results by relevance

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

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

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

Airport Biometrics: A Primer  (2021)

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

Quality Management of Pavement Condition Data Collection  (2009)

Highway Safety Research Agenda: Infrastructure and Operations  (2013)

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

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

Transit Enterprise Architecture and Planning Framework  (2011)

Consensus Study Report

Cost, Effectiveness, and Deployment of Fuel Economy Technologies for Light-Duty Vehicles  (2015)