共 50 条
- [1] A Formal Approach to Safety Verification of Railway Signaling Systems 2012 PROCEEDINGS - ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS), 2012,
- [4] Reflections on railway systems and safety Franco, R.I., 1600, Colegio de Ingenieros de Caminos Canales y Puertos (160):
- [6] Proposal of the standard-based method for communication safety enhancement in railway signalling systems COMPUTERS IN RAILWAYS XII: COMPUTER SYSTEM DESIGN AND OPERATION IN RAILWAYS AND OTHER TRANSIT SYSTEMS, 2010, 114 : 863 - 873
- [7] Systems Engineering Framework for Railway Control & Safety Systems 2016 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2016, : 236 - 243
- [9] Role of supervision systems in railway safety COMPUTERS IN RAILWAYS X: COMPUTER SYSTEM DESIGN AND OPERATION IN THE RAILWAY AND OTHER TRANSIT SYSTEMS, 2006, 88 : 129 - +
- [10] Analysing Railway Safety with Systems Thinking RAILWAY DEVELOPMENT, OPERATIONS, AND MAINTENANCE: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON RAIL TRANSPORTATION 2017 (ICRT 2017), 2018, : 464 - 475