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]

Authors

Paulius Stankaitis

This author has not been identified. Look up 'Paulius Stankaitis' in Google

Alexei Iliasov

This author has not been identified. Look up 'Alexei Iliasov' in Google