Deriving safety-critical system specification through requirements engineering
Route planning system using high-resolution commercial remote sensing data
Safety guidelines for computerized train control and protection system
Study and dynamic generation for drawings in facility management system
Evaluation of train interval adjustment algorithms for congested metropolitan railway line