Publication Date:
2014
Short description:
An interoperable testing environment for ERTMS/ETCS control systems / Barberio, G., Di Martino, B., Mazzocca, N., Velardi, L., Amato, A., De Guglielmo, R., Gentile, U., Marrone, S., Nardone, R., Peron, A., Vittorini, V.. - 8696:(2014), pp. 147-156. [10.1007/978-3-319-10557-4_18]
Iris type:
2.1 Contributo in volume (Capitolo o Saggio)
Keywords:
Functional Testing; Model Driven Engineering; Model-Based System Testing; Railway Control System; Test Case Generation; Theoretical Computer Science; Computer Science (all)
List of contributors:
Barberio, Gregorio; Di Martino, Beniamino; Mazzocca, Nicola; Velardi, Luigi; Amato, Aniello; De Guglielmo, Renato; Gentile, Ugo; Marrone, Stefano; Nardone, Roberto; Peron, Adriano; Vittorini, Valeria
Book title:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)