Visualising Railway Safety Verification
Filippos Pantekis
◽
Phillip James
◽
Liam O’Reilly
◽
Daniel Archambault
◽
Faron Moller
Alexei Iliasov
◽
Ilya Lopatkin
◽
Alexander Romanovsky
1997 ◽
Vol 21
(1-2)
◽
pp. S905-S910
2013 ◽
Vol 133
(8)
◽
pp. 547-549
2003 ◽
Vol 87
(1)
◽
pp. 29-34
2016 ◽
Vol 51
(6)
◽
pp. 614-630
◽
Oded Padon
◽
Kenneth L. McMillan
◽
Aurojit Panda
◽
Mooly Sagiv
◽
Sharon Shoham
Rafael Wisniewski
◽
Christoffer Sloth
◽
Manuela Bujorianu
◽
Nir Piterman
Ayan Banerjee
◽
Imane Lamrani
◽
Sandeep K.S. Gupta
2016 ◽
Vol 55
◽
pp. 9-16
◽
Anne Silla
◽
Veli-Pekka Kallberg