共 28 条
- [1] Dependability and safety analysis of ERTMS level 3 using analytic estimation SAFETY AND RELIABILITY: METHODOLOGY AND APPLICATIONS, 2015, : 293 - 298
- [2] Modeling of ERTMS Level 2 as an SoS and Evaluation of its Dependability Parameters Using Statecharts IEEE SYSTEMS JOURNAL, 2014, 8 (04): : 1169 - 1181
- [4] Validation of the Hybrid ERTMS/ETCS Level 3 using Spin International Journal on Software Tools for Technology Transfer, 2020, 22 : 265 - 279
- [5] Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015), 2016, 596 : 103 - 120
- [8] 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
- [10] Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach International Journal on Software Tools for Technology Transfer, 2020, 22 : 349 - 363