Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal verification of railway interlocking and its safety case

Lookup NU author(s): Dr Alexei Iliasov, Professor Alexander Romanovsky


The full text of this item is currently under embargo and cannot be made publicly available until after publication.

Publication metadata

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

Publication type: Conference Proceedings (inc. Abstract)

Publication status: In Press

Conference Name: Safety-critical Systems Symposium 2022

Year of Conference: 2022

Acceptance date: 07/10/2021

Publisher: The Safety-Critical Systems Club, UK