a Refinement Based Approach to Calculating a Fault-Tolerant Railway Signal Device
2012 ◽
Vol 566
◽
pp. 448-453
◽
2006 ◽
Vol 12
(12)
◽
pp. 1241-1248
Keyword(s):
1990 ◽
Vol 137
(4)
◽
pp. 253
◽
1990 ◽
Vol 137
(3)
◽
pp. 218
◽
1989 ◽
Vol 136
(6)
◽
pp. 485
Keyword(s):
Keyword(s):
2012 ◽
Vol 2
(1)
◽
pp. 57-59