论文信息 - Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model - 字舞流文

Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model

M. Leuschel | Sebastian Krings | Philipp Körner | David Schneider | Dominik Hansen | Thomas Naulin | Nader Nayeri | Frank Skowron