Modeling and Analysis of a Freight Terminal with Stochastic Petri Nets
XML - EDIFACT Translation in EDIPA System
Modelling Railway Interlocking Systems
Optimal Digital Control of Transients in Transportation Systems
Vehicle Diagnosis - An Application for Autonomous Driving
An Integrated Object-Oriented Network - and Modal Split-Model
Notation, Method, Tool: A Conceptual Framework for the Application of Formal Methods
Rail Traffic Control Under Disrupted Conditions
Optimization Criteria for Public Transportation Services
Markovian Analysis of a Safety-Critical Data Transmission System
Evaluation of Train-Speed Control Algorithms
Performance of Metro Control Systems
A Low Cost Tool for Rescheduling in Regional Public Transport Systems
A Detection Method for Traffic Incident Using Wavelet Analysis
Formal Software Techniques for Railway Systems
Macroscopic Traffic Simulation for On-Line Forecasting
Achieving Targets Quickly with Rapid Prototyping
Semitrailers in Advanced Intermodal Logistics