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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.