The Application of Formal Methods to Railway Signalling Systems Specification and the Esprit III Project CASCADE

A. J. Harrison, I. D. R. Shannon. The Application of Formal Methods to Railway Signalling Systems Specification and the Esprit III Project CASCADE. In Gerhard Rabe, editor, 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995. pages 101-112, Springer, 1995. [doi]

Abstract

Abstract is missing.