共 50 条
- [41] Research on Computer Interlocking System with Interoperability Function 2019 IEEE 2ND INTERNATIONAL CONFERENCE ON ELECTRONICS AND COMMUNICATION ENGINEERING (ICECE 2019), 2019, : 230 - 234
- [42] Formalizing moving block railway interlocking system for directed network Research Reports on Information Science and Electrical Engineering of Kyushu University, 2003, 8 (02): : 109 - 114
- [43] A Model-Based Testing System for Safety of Railway Interlocking 2022 IEEE 25TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2022, : 335 - 340
- [45] The application of graphic theory on railway yard interlocking control system 2007 IEEE INTELLIGENT VEHICLES SYMPOSIUM, VOLS 1-3, 2007, : 1025 - 1029
- [46] TOWARDS THE SAFETY PROPERTIES OF MOVING BLOCK RAILWAY INTERLOCKING SYSTEM INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2012, 8 (08): : 5677 - 5690
- [48] Verification of railway interlocking systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (184): : 19 - 31
- [49] A Study of Railway Interlocking Logic Modelling Based on Petri Net Transactions of the Korean Institute of Electrical Engineers, 2023, 72 (11): : 1575 - 1580
- [50] The Interface Information Reading of Railway Computer Interlocking Station Data Based on Image Analysis PROCEEDINGS OF 2024 INTERNATIONAL CONFERENCE ON COMPUTER AND MULTIMEDIA TECHNOLOGY, ICCMT 2024, 2024, : 118 - 123