Railway Switch Control Modeling in European Train Control System Level 3.

Francesco Flammini, Stefano Marrone, Roberto Nardone, Usman Sanwal, Cristina Seceleanu, Laura Verde, Valeria Vittorini

Browse the full ISoLA paper archive.