A formal modeling methodology of the French railway interlocking system via HCPN
2011 ◽
Vol 22
(11)
◽
pp. 2698-2715
◽
2021 ◽
Vol 7
(1)
◽
pp. 32