Practical Verification of Railway Signalling Programs
| Title: | Practical Verification of Railway Signalling Programs |
|---|---|
| Authors: | Iliasov, A., Taylor, D., Laibinis, L., Romanovsky, A. |
| Source: | IEEE Transactions on Dependable and Secure Computing IEEE Trans. Dependable and Secure Comput. Dependable and Secure Computing, IEEE Transactions on. 20(1):695-707 Jan, 2023 |
| Database: | IEEE Xplore Digital Library |
| ISSN: | 15455971 19410018 21609209 |
|---|---|
| DOI: | 10.1109/TDSC.2022.3141555 |
| Published in: | IEEE Transactions on Dependable and Secure Computing, Dependable and Secure Computing, IEEE Transactions on, IEEE Trans. Dependable and Secure Comput. |