Automated verification of rules and regulations compliance in CAD models of railway signalling and interlocking
2010 ◽
Vol E93.A
(4)
◽
pp. 752-760
Keyword(s):
2017 ◽
Vol 5
(12)
◽
pp. 290-295
1939 ◽
Keyword(s):
1937 ◽
Keyword(s):