共 50 条
- [1] 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
- [4] Analysis of Systematic Influences on the Insulation Resistance of Electronic Railway Interlocking Systems INTERNATIONAL CONGRESS AND WORKSHOP ON INDUSTRIAL AI 2021, 2022, : 128 - 140
- [5] Verification of railway interlocking systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (184): : 19 - 31
- [7] Dependability modeling and analysis of complex control systems: An application to railway interlocking Lecture Notes in Computer Science, 1150
- [8] Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2001, 16 (04): : 249 - 261
- [10] DETECTION CODES IN RAILWAY INTERLOCKING SYSTEMS APPLICATIONS OF MATHEMATICS 2013, 2013, : 124 - 130