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]

An interoperable testing environment for ERTMS/ETCS control systems

Nardone, Roberto;
2014-01-01

2014
Inglese
8696
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
147
156
10
9783319105567
http://springerlink.com/content/0302-9743/copyright/2005/
Springer Verlag
Esperti anonimi
Functional Testing; Model Driven Engineering; Model-Based System Testing; Railway Control System; Test Case Generation; Theoretical Computer Science; Computer Science (all)
info:eu-repo/semantics/bookPart
Barberio, Gregorio; Di Martino, Beniamino; Mazzocca, Nicola; Velardi, Luigi; Amato, Aniello; De Guglielmo, Renato; Gentile, Ugo; Marrone, Stefano; Nar...espandi
2 Contributo in Volume::2.1 Contributo in volume (Capitolo o Saggio)
11
268
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]
none
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.12318/47282
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 14
  • ???jsp.display-item.citation.isi??? 12
social impact