A. Anselmi

According to our database, A. Anselmi authored at least 1 paper in 1995.

Collaborative distances:

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

1995

An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System.

A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli

Proceedings of the 14th International Conference on Computer Safety, 1995