共 50 条
- [12] Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2018, 2018, 11119 : 98 - 114
- [15] A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard International Journal on Software Tools for Technology Transfer, 2020, 22 : 333 - 347
- [16] Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3 International Journal on Software Tools for Technology Transfer, 2020, 22 : 249 - 255
- [20] Simulation Model of Speed Control for the Moving-Block Systems under ERTMS Level 3 2016 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2016, : 322 - 327