Safety Verification of Modern Railway Signalling with the SafeCap Platform

Paulius Stankaitis, Alexei Iliasov. Safety Verification of Modern Railway Signalling with the SafeCap Platform. In 2017 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Toulouse, France, October 23-26, 2017. pages 153-156, IEEE Computer Society, 2017. [doi]

Bibliographies