Design of Air-Breathing Electrical Propulsion Based on Cargo-Spacecraft for Replenishment
Personal Mobility Vehicle for Assisting Short-Range Transportation
Ship Speed Prediction in Real Sea Environment Using Advanced Technologies
Working out an incomplete cyclic train timetable for high-speed railways by computer
Track test monitoring system using a multipurpose experimental train
How regular is a regular-interval timetable? From theory to application
Formalizing train control language: automating analysis of train stations
Software redundancy design for a Human-Machine Interface in railway vehicles
Use of model transformation for the formal analysis of railway interlocking models