MAGNANI, GIANLUCA
MAGNANI, GIANLUCA
SISTEMI E INFORMATICA (attivo dal 01/08/1980 al 31/12/2012)
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.014 secondi).
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer
2011 Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi;Matteo Tempestini
Formal Methods and Code Generation Techniques in the Development of Railway Signalling Systems
2014 Gianluca Magnani
Model Checking Interlocking Control Tables
2011 Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi
Model-Based Development and Formal Methods in the Railway Industry
2013 Alessio Ferrari;Alessandro Fantechi;Stefania Gnesi;Gianluca Magnani
The Metro Rio ATP case study
2010 A. Ferrari; D. Grasso; G. Magnani; A. Fantechi
The Metrô Rio case study
2013 Alessio Ferrari; Alessandro Fantechi; Gianluca Magnani; Daniele Grasso; Matteo Tempestini
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer | 2011 | Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi;Matteo Tempestini | |
| Formal Methods and Code Generation Techniques in the Development of Railway Signalling Systems | 2014 | Gianluca Magnani | |
| Model Checking Interlocking Control Tables | 2011 | Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi | |
| Model-Based Development and Formal Methods in the Railway Industry | 2013 | Alessio Ferrari;Alessandro Fantechi;Stefania Gnesi;Gianluca Magnani | |
| The Metro Rio ATP case study | 2010 | A. Ferrari; D. Grasso; G. Magnani; A. Fantechi | |
| The Metrô Rio case study | 2013 | Alessio Ferrari; Alessandro Fantechi; Gianluca Magnani; Daniele Grasso; Matteo Tempestini |