Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky. Practical Verification of Railway Signalling Programs. IEEE Trans. Dependable Sec. Comput., 20(1):695-707, 2023. [doi]
@article{IliasovTLR23,
title = {Practical Verification of Railway Signalling Programs},
author = {Alexei Iliasov and Dominic Taylor and Linas Laibinis and Alexander B. Romanovsky},
year = {2023},
doi = {10.1109/TDSC.2022.3141555},
url = {https://doi.org/10.1109/TDSC.2022.3141555},
researchr = {https://researchr.org/publication/IliasovTLR23},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Dependable Sec. Comput.},
volume = {20},
number = {1},
pages = {695-707},
}