JRC2014-3759 Product-Based Safety Verification Using Formal Methods
JRC2014-3802 Why There Is No IGBT Traction Rectifiers?
JRC2014-3822 Analysis of Roadway Worker Injuries and Fatalities at FRA and FTA-Regulated Railroads
JRC2014-3820 Evaluation of Single Track Timetables Using Simulation
RTDF2013-4709 Design of a Multi-Use, Highly Efficient Intermodal Container System