A Hybrid Testing Methodology for Railway Control Systems.

Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo

Browse the full SAFECOMP paper archive.