1995
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System.
[DOI]
A. Anselmi
,
Cinzia Bernardeschi
,
Alessandro Fantechi
,
Stefania Gnesi
,
Salvatore Larosa
,
Giorgio Mongardi
,
Fernando Torielli
Proceedings of the 14th International Conference on Computer Safety, 1995