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.01 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 |