C. Abbaneo

According to our database, C. Abbaneo authored at least 2 papers in 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors.

Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

An Automatic SPIN Validation of a Safety Critical Railway Control System.

Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000