Transport Research International Documentation (TRID) https://trid.trb.org/ en-us Copyright © 2026. National Academy of Sciences. All rights reserved. http://blogs.law.harvard.edu/tech/rss tris-trb@nas.edu (Bill McLeod) tris-trb@nas.edu (Bill McLeod) Transport Research International Documentation (TRID) https://trid.trb.org/Images/PageHeader-wTitle.jpg https://trid.trb.org/ Verification of the effectiveness of energy saving devices https://trid.trb.org/View/1600927 Thu, 27 Jun 2019 14:00:02 GMT https://trid.trb.org/View/1600927 A real-time multisensor fusion verification framework for advanced driver assistance systems https://trid.trb.org/View/1595360 Fri, 29 Mar 2019 10:15:25 GMT https://trid.trb.org/View/1595360 A Methodology for Formal Requirements Validation and Automatic Test Generation and Application to Aerospace Systems https://trid.trb.org/View/1571361 Mon, 31 Dec 2018 15:27:46 GMT https://trid.trb.org/View/1571361 Grouting 2017: Grouting, Drilling, and Verification https://trid.trb.org/View/1558208 Tue, 04 Dec 2018 10:11:32 GMT https://trid.trb.org/View/1558208 Flight control system failure modeling and verification based on SPIN https://trid.trb.org/View/1530003 Wed, 15 Aug 2018 17:29:16 GMT https://trid.trb.org/View/1530003 Debunking fake news in a post-truth era: The plausible untruths of cost underestimation in transport infrastructure projects https://trid.trb.org/View/1515443 Wed, 27 Jun 2018 10:42:11 GMT https://trid.trb.org/View/1515443 Positive Train Control Test Bed Verification https://trid.trb.org/View/1512287 Mon, 28 May 2018 09:48:59 GMT https://trid.trb.org/View/1512287 Verification and validation of simulations in a rail vehicle certification context https://trid.trb.org/View/1502749 Wed, 28 Mar 2018 10:53:21 GMT https://trid.trb.org/View/1502749 DCTA Transit Car Testing: Static Truck Characterization https://trid.trb.org/View/1493786 Tue, 23 Jan 2018 15:19:30 GMT https://trid.trb.org/View/1493786 Virtual FMEA and Its Application to Software Verification of Electric Power Steering System https://trid.trb.org/View/1461865 Tue, 29 Aug 2017 10:07:38 GMT https://trid.trb.org/View/1461865 Virtual Development for In-Vehicle Network Topology – A Case Study of CAN FD Physical Layer https://trid.trb.org/View/1461832 Tue, 29 Aug 2017 10:07:20 GMT https://trid.trb.org/View/1461832 Criteria-Driven Approach in Automotive Software Development – Integrating Concepts of Formal Methods with Testing https://trid.trb.org/View/1461817 Tue, 29 Aug 2017 10:07:17 GMT https://trid.trb.org/View/1461817 An Overview of the V&V of Flight-Critical Systems Effort at NASA https://trid.trb.org/View/1432094 Mon, 09 Jan 2017 11:11:46 GMT https://trid.trb.org/View/1432094 Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets https://trid.trb.org/View/1429288 Mon, 21 Nov 2016 13:24:50 GMT https://trid.trb.org/View/1429288 Monitor-based Temporal Properties Checking of Train Control Systems with Quantitative Constraints https://trid.trb.org/View/1349321 Tue, 28 Apr 2015 08:37:35 GMT https://trid.trb.org/View/1349321