Skip to Main Content (Press Enter)

Logo UNIRC
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Attività
  • Competenze

UNI-FIND
Logo UNIRC

|

UNI-FIND

unirc.it
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Attività
  • Competenze
  1. Pubblicazioni

An interoperable testing environment for ERTMS/ETCS control systems

Capitolo di libro
Data di Pubblicazione:
2014
Citazione:
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]
Tipologia CRIS:
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)
Elenco autori:
Barberio, Gregorio; Di Martino, Beniamino; Mazzocca, Nicola; Velardi, Luigi; Amato, Aniello; De Guglielmo, Renato; Gentile, Ugo; Marrone, Stefano; Nardone, Roberto; Peron, Adriano; Vittorini, Valeria
Link alla scheda completa:
https://iris.unirc.it/handle/20.500.12318/47282
Titolo del libro:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
  • Dati Generali

Dati Generali

URL

http://springerlink.com/content/0302-9743/copyright/2005/
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.2.0