Toggle Main Menu Toggle Search

Open Access padlockePrints

Safety Invariant Engineering for Interlocking Verification

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

Downloads

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;

Editor(s): Ceccarelli, A; Trapp, M; Bondavalli, A; Bitsch, F;

Publication type: Conference Proceedings (inc. Abstract)

Publication status: In Press

Conference Name: The 43rd International Conference on Computer Safety, Reliability and Security (SafeComp)

Year of Conference: 2024

Acceptance date: 30/05/2024

Date deposited: 29/05/2024

Publisher: Springer

URL: https://www.safecomp2024.unifi.it/vp-18-accepted-papers.html

Series Title: LNCS


Share