Dependability and Safety Analysis of ETCS Communication for ERTMS Level 3 Using Performance Statecharts and Analytic Estimation.

Tomasz Babczynski, Jan Magott

Browse the full DEPCoS paper archive.