| |
| 2000 | ||
|---|---|---|
| 2 | EE | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo: An Automatic SPIN Validation of a Safety Critical Railway Control System. DSN 2000: 119-124 |
| 1 | EE | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo: A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. TACAS 2000: 535-549 |
| 1 | Arturo M. Amendola | [1] [2] |
| 2 | Stefania Gnesi | [1] [2] |
| 3 | Diego Latella | [1] [2] |
| 4 | Gabriele Lenzini | [1] [2] |
| 5 | P. Marmo | [1] [2] |