Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 6 di 6
Titolo Data di pubblicazione Autore(i) File
The Metro Rio ATP case study 2010 A. Ferrari; D. Grasso; G. Magnani; A. Fantechi
Model Checking Interlocking Control Tables 2011 Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer 2011 Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi;Matteo Tempestini
Model-Based Development and Formal Methods in the Railway Industry 2013 Alessio Ferrari;Alessandro Fantechi;Stefania Gnesi;Gianluca Magnani
The Metrô Rio case study 2013 Alessio Ferrari; Alessandro Fantechi; Gianluca Magnani; Daniele Grasso; Matteo Tempestini
Formal Methods and Code Generation Techniques in the Development of Railway Signalling Systems 2014 Gianluca Magnani
Mostrati risultati da 1 a 6 di 6
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