共 50 条
- [6] Study on Formal Modeling and Safety Verification of Train-to-Train Communication WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2018,
- [8] Influence of parameters of train-track system on train running safety ISISS 2005: INNOVATION & SUSTAINABILITY OF STRUCTURES, VOL 1-3, 2005, : 1390 - 1398
- [10] Automatic train controller safety simulation COMPUTERS IN RAILWAYS X: COMPUTER SYSTEM DESIGN AND OPERATION IN THE RAILWAY AND OTHER TRANSIT SYSTEMS, 2006, 88 : 139 - +