共 50 条
- [21] Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B International Journal on Software Tools for Technology Transfer, 2020, 22 : 297 - 313
- [23] 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
- [25] Colored Petri Net Model for Discrete System Communication Management on the European Rail Traffic Management System (ERTMS) Level 2 2014 UKSIM-AMSS 16TH INTERNATIONAL CONFERENCE ON COMPUTER MODELLING AND SIMULATION (UKSIM), 2014, : 248 - 253
- [26] Dependability and Safety Analysis of ETCS Communication for ERTMS Level 3 Using Performance Statecharts and Analytic Estimation PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON DEPENDABILITY AND COMPLEX SYSTEMS DEPCOS-RELCOMEX, 2014, 286 : 37 - 46
- [28] ON THE ERTMS/ETCS LEVEL 2 DEGRADED MODE: COLORED PETRI NET MODEL FOR DISCRETE POINT POSITIONING SYSTEM PROCEEDINGS OF THE ASME JOINT RAIL CONFERENCE 2012, 2012, : 429 - +
- [29] Optimized charging and melting management system CMMS in a secondary aluminium casthouse LIGHT METALS 1998, 1998, : 1115 - 1123