共 50 条
- [11] Model Based Specification Validation for Automatic Train Protection and Block System 2012 7TH INTERNATIONAL CONFERENCE ON COMPUTING AND CONVERGENCE TECHNOLOGY (ICCCT2012), 2012, : 485 - 488
- [12] Model based specification validation for automatic train protection and block system Proc. - Int. Conf. Comput. Convergence Technol. (ICCIT, ICEI ICACT), ICCCT, (485-488):
- [13] Automatic train protection and the operational railway RAILWAY ENGINEERING, SYSTEMS, AND SAFETY, 1996, 1996 (16): : 65 - 72
- [14] Fully digitalized ATC (Automatic Train Control) system of integrated functions of train-protection and interlocking COMPUTERS IN RAILWAY SIX, 2004, 15 : 441 - 448
- [15] Fully digitalized ATC (Automatic Train Control) system of integrated functions of train-protection and interlocking Adv. Transp., 1600, (441-448):
- [16] Lessons learned from a fault tree analysis of an automatic train protection system PSAM 5: PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOLS 1-4, 2000, (34): : 1895 - 1901
- [17] Analysis of Failure Features of High-Speed Automatic Train Protection System IEEE ACCESS, 2021, 9 : 128734 - 128746
- [18] A NOVEL APPROACH TO AUTOMATIC CODE GENERATION FOR AUTOMATIC TRAIN PROTECTION INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2012, 8 (09): : 6329 - 6344
- [19] Automatic train protection for private railways in Denmark 2002, Georg Siemens Verlagsbuchhandlung (126):