Sfoglia per Autore  De Simone, Salvatore

Opzioni
Mostrati risultati da 1 a 1 di 1
Titolo Data di pubblicazione Autore(i) File
Formal Design and Validation of an Automatic Train Operation Control System 1-gen-2022 Amendola, Arturo; Barruffo, Lorenzo; Bozzano, Marco; Cimatti, Alessandro; De Simone, Salvatore; Fedeli, Eugenio; Gabbasov, Artem; Ernesto Garrubba, Domenico; Girardi, Massimiliano; Serra, Diana; Tiella, Roberto; Zampedri, Gianni
Mostrati risultati da 1 a 1 di 1
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile