ePrints

The SafeCap trajectory: industry-driven improvement of an interlocking verification tool

Lookup NU author(s): Dr Alexei Iliasov, Dr Linas Laibinis, Professor Alexander RomanovskyORCiD

Downloads

The full text of this item is currently under embargo and cannot be made publicly available until 27/09/2024.

Publication metadata

Author(s): Iliasov A, Taylor D, Laibinis L, Romanovsky A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 5th International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail 2023)

Year of Conference: 2023

Pages: 117-127

Online publication date: 27/09/2023

Acceptance date: 30/06/2023

Date deposited: 21/06/2023

ISSN: 1611-3349

Publisher: Springer

URL: https://doi.org/10.1007/978-3-031-43366-5_7

DOI: 10.1007/978-3-031-43366-5_7

ePrints DOI: 10.57711/ctnf-f264

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783031433658

Share