A. Anselmi

Publication Activity (10 Years)

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

Publications

A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. SAFECOMP (1995)