Skip to main content

A Formal Specification of an Automatic Train Protection System

A. C. Simpson

Book Title
Proceedings of the 2nd International Symposium of Formal Methods Europe (FME 1994)
Editor
Naftalin‚ M. and Denvir‚ T. and Bertran‚ M.
Pages
602–617
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
873
Year
1994