![]() | ![]() |
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] |