Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo. A Hybrid Testing Methodology for Railway Control Systems. In Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann, editors, Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings. Volume 3219 of Lecture Notes in Computer Science, pages 116-129, Springer, 2004. [doi]
Abstract is missing.