- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni: Formal Development for Railway Signaling Using Commercial Tools. FMICS 2009: 197-198 |
| 2006 | ||
| 1 | | Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni: A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. FM 2006: 179-189 |
| 1 | Alessandro Fantechi | [1] [2] |
| 2 | Alessio Ferrari | [2] |
| 3 | Matteo Tempestini | [1] |
| 4 | Niccolò Zingoni | [1] [2] |