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