C. Abbaneo

Publication Activity (10 Years)

Years Active: 2000-2000
Publications (10 Years): 0

Publications

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)
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)