A Safety Critical Computer System in a Railway Application
1990 ◽
pp. 25-30
◽
2013 ◽
Vol 14
(2)
◽
pp. 709-719
◽
Keyword(s):
1983 ◽
Vol 130
(1)
◽
pp. 25
◽