Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System.

Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero, Andrei Tchaltsev

Browse the full CAV paper archive.