共 50 条
- [31] Formal verification of safety protocol in train control system Science China Technological Sciences, 2011, 54 : 3078 - 3090
- [32] Formal Modeling, Verification and Implementation of a Train Control System 2015 27TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS (ICM), 2015, : 134 - 137
- [33] Verification and Implementation of the Protocol Standard in Train Control System 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 549 - 558
- [35] Decomposing Automatic Train Control Verification System with Projection 2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015), 2015, : 301 - 308
- [36] Yaw stability control strategy of modern trackless train Jiaotong Yunshu Gongcheng Xuebao/Journal of Traffic and Transportation Engineering, 2023, 23 (02): : 240 - 250
- [39] Collaborative optimization of train timetable and train formation plan combined with passenger flow control strategy 2023 IEEE 26TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, 2023, : 4538 - 4543
- [40] Collaborative optimization for metro train scheduling and train connections combined with passenger flow control strategy OMEGA-INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE, 2020, 90