Control in the Channel Tunnel: a case study in the assessment of safety critical systems
2018 ◽
Vol 35
(1)
◽
pp. 461-469
◽
Keyword(s):
2002 ◽
Vol 33
(6)
◽
pp. 513-527
Keyword(s):
1999 ◽
Vol 29
(8)
◽
pp. 677-697
◽
Keyword(s):
2017 ◽
Vol 105
◽
pp. 133-143
◽
Keyword(s):
Keyword(s):
Keyword(s):