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