Conference item icon

Conference item

On the cloud−enabled refinement checking of railway signalling interlockings

Actions


Access Document


Files:

Authors


Volume:
419
Host title:
Proceedings of the 2nd International Workshop on Formal Techniques for Safety−Critical Systems (FTSCS 2013)
Publication date:
2014-01-01
ISSN:
1865-0929
ISBN:
9783319054155
UUID:
uuid:e98e0135-a5fd-4f35-b0f3-729f5d9ef29e
Local pid:
cs:7148
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP