共 50 条
- [21] Operation, Safety and Human: Critical Factors for the Success of Railway Transportation 2016 11TH SYSTEMS OF SYSTEM ENGINEERING CONFERENCE (SOSE), IEEE, 2016,
- [22] The experience of auditing software for safety critical railway signalling equipment FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 193 - 196
- [23] Formal modeling of railway signal safety-critical software 1600, ICIC Express Letters Office (10):
- [24] Implementing a Security Architecture for Safety-Critical Railway Infrastructure 2021 INTERNATIONAL SYMPOSIUM ON SECURE AND PRIVATE EXECUTION ENVIRONMENT DESIGN (SEED 2021), 2021, : 215 - 226
- [25] AN HCPN PATTERN FOR RAILWAY SAFETY CRITICAL SCENARIOS FORMAL MODELING PROCEEDINGS OF THE ASME JOINT RAIL CONFERENCE, 2015, 2015,
- [27] Safety Performance Modeling Method for Safety Critical Software of Railway Computer Interlocking System Zhongguo Tiedao Kexue/China Railway Science, 2017, 38 (02): : 111 - 117
- [28] A cooperative communications platform for safety critical robotics: An experimental evaluation Adv. Intell. Soft Comput., (151-156):
- [29] A Cooperative Communications Platform for Safety Critical Robotics: An Experimental Evaluation ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS, 2010, 70 : 151 - 156
- [30] TAS Control Platform: A Platform for Safety-Critical Railway Applications ERCIM NEWS, 2008, (75): : 49 - 50