Model-Based Testing of Railway Interlocking Systems.

Alessandro Cimatti, Shaker Khandaker, Fitsum Meshesha Kifetew, Lorenzo Leone, Davide Prandi, Giuseppe Scaglione, Angelo Susi, Orazio Turboli

Browse the full ISoLA paper archive.