A Hybrid Testing Methodology for Railway Control Systems

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]

Authors

Giuseppe De Nicola

This author has not been identified. Look up 'Giuseppe De Nicola' in Google

Pasquale di Tommaso

This author has not been identified. Look up 'Pasquale di Tommaso' in Google

Rosaria Esposito

This author has not been identified. Look up 'Rosaria Esposito' in Google

Francesco Flammini

This author has not been identified. Look up 'Francesco Flammini' in Google

Antonio Orazzo

This author has not been identified. Look up 'Antonio Orazzo' in Google