| 2000 |
|---|
| 3 | 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 |
| 2 | 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 |
| 1997 |
|---|
| 1 | | Arturo M. Amendola,
Leonardo Impagliazzo,
P. Marmo,
Fabio Poli:
Experimental Evaluation of Computer-Based Railway Control Systems.
FTCS 1997: 380-384 |
