共 50 条
- [31] Model-in-the-Loop Testing of a Railway Interlocking System MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2015), 2015, 580 : 375 - 389
- [33] Architecture and safety requirements of the ACC railway interlocking system IEEE INTERNATIONAL COMPUTER PERFORMANCE AND DEPENDABILITY SYMPOSIUM - IPDS'96, PROCEEDINGS, 1996, : 21 - 29
- [34] Study on requirements of immunity test for computer-based interlocking system Beifang Jiaotong Daxue Xuebao/Journal of Northern Jiaotong University, 2000, 24 (06): : 69 - 73
- [36] Study and realization of automatic test simulation system of computer interlocking software Zhongguo Tiedao Kexue/China Railway Science, 2004, 25 (02): : 16 - 19
- [38] Design of Signal Control Structures Using Formal Methods for Railway Interlocking Systems 11TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION (ICARCV 2010), 2010, : 776 - 780
- [39] An Automatic Test Platform for Computer Interlocking System PROCEEDINGS OF 2019 IEEE 10TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2019), 2019, : 538 - 541
- [40] The application of computer interlocking control system in transportation 2002 IEEE REGION 10 CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND POWER ENGINEERING, VOLS I-III, PROCEEDINGS, 2002, : 1626 - 1629