External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky. The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. In Birgit Milius, Simon Collart Dutilleul, Thierry Lecomte, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings. Volume 14198 of Lecture Notes in Computer Science, pages 117-127, Springer, 2023. [doi]

Authors

Alexei Iliasov

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

Dominic Taylor

This author has not been identified. Look up 'Dominic Taylor' in Google

Linas Laibinis

This author has not been identified. Look up 'Linas Laibinis' in Google

Alexander B. Romanovsky

This author has not been identified. Look up 'Alexander B. Romanovsky' in Google
runs on