Skip to main content

On the Cloud−enabled Refinement Checking of Railway Signalling Interlockings

A. C. Simpson and J. Jacobs

Book Title
Proceedings of the 2nd International Workshop on Formal Techniques for Safety−Critical Systems (FTSCS 2013)
ISBN
978−3−319−05415−5
ISSN
1865−0929
Pages
195–211
Series
Communications in Computer and Information Science
Volume
419
Year
2014