ON THE THEORETICAL EXAMINATION OF THE ADOPTION OF FORMAL METHODS IN THE RAILWAY SIGNALING SECTOR
2021 ◽
Vol 11
(4)
◽
1987 ◽
Vol 134
(3)
◽
pp. 133
◽
Keyword(s):
2017 ◽
Vol 137
(6)
◽
pp. 809-814
1987 ◽
Vol 381
(0)
◽
pp. 132-141
2019 ◽
Vol 28
(3)
◽
pp. 343-354
◽