GRASSO, DANIELE
GRASSO, DANIELE
SISTEMI E INFORMATICA (attivo dal 01/08/1980 al 31/12/2012)
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.015 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
Model Checking Interlocking Control Tables
2011 Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi
TESTING AND VERIFICATION METHODS FOR SAFETY CRITICAL SYSTEMS
2014 Grasso, Daniele
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 | |
| Model Checking Interlocking Control Tables | 2011 | Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi | |
| TESTING AND VERIFICATION METHODS FOR SAFETY CRITICAL SYSTEMS | 2014 | Grasso, Daniele | |
| 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 |