Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
The Metro Rio ATP case study
2010 A. Ferrari; D. Grasso; G. Magnani; A. 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 Checking Interlocking Control Tables
2011 Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi
The Metrô Rio case study
2013 Alessio Ferrari; Alessandro Fantechi; Gianluca Magnani; Daniele Grasso; Matteo Tempestini
TESTING AND VERIFICATION METHODS FOR SAFETY CRITICAL SYSTEMS
2014 Grasso, Daniele
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
The Metro Rio ATP case study | 2010 | A. Ferrari; D. Grasso; G. Magnani; A. 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 Checking Interlocking Control Tables | 2011 | Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi | |
The Metrô Rio case study | 2013 | Alessio Ferrari; Alessandro Fantechi; Gianluca Magnani; Daniele Grasso; Matteo Tempestini | |
TESTING AND VERIFICATION METHODS FOR SAFETY CRITICAL SYSTEMS | 2014 | Grasso, Daniele |
Mostrati risultati da 1 a 5 di 5
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