共 50 条
- [1] Modeling system reliability aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks SAFETY AND RELIABILITY FOR MANAGING RISK, VOLS 1-3, 2006, : 2675 - +
- [2] Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B MODEL AND DATA ENGINEERING, MEDI 2018, 2018, 11163 : 321 - 330
- [3] Specification stage in the RAMS process of the ERTMS/ETCS system Ingegneria Ferroviaria, 1999, 54 (1-2): : 47 - 56
- [4] The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system NINTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH-ASSURANCE SYSTEMS ENGINEERING, 2005, : 131 - 139
- [5] Use Of Formal Languages To Represent The ERTMS/ETCS System Requirements Specifications 2015 INTERNATIONAL CONFERENCE ON ELECTRICAL SYSTEMS FOR AIRCRAFT, RAILWAY, SHIP PROPULSION AND ROAD VEHICLES (ESARS), 2015,
- [7] A generation method of test scenarios based on models: application to the ERTMS/ETCS system SAFETY AND SECURITY ENGINEERING III, 2009, 108 : 225 - +
- [8] FPGA Hardware in the Loop System for ERTMS-ETCS Train Equipment Testing 2016 11TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2016,
- [9] DRIVER ASSISTANCE SYSTEM ADVANCES AND APPLICATIONS IN MATHEMATICAL SCIENCES, 2021, 20 (03): : 345 - 353