Fabio Scippacercola, Roberto Pietrantuono, Stefano Russo, András Zentai. Model-in-the-Loop Testing of a Railway Interlocking System. In Philippe Desfray, Joaquim Filipe, Slimane Hammoudi, Luís Ferreira Pires, editors, Model-Driven Engineering and Software Development - Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers. Volume 580 of Communications in Computer and Information Science, pages 375-389, Springer, 2015. [doi]
Abstract is missing.