Dependability in open proof software with hardware virtualization—The railway control systems perspective
2014 ◽
Vol 91
◽
pp. 188-215
◽
2009 ◽
Vol 42
(12)
◽
pp. 31-36
◽
2010 ◽
Vol 18
(2)
◽
pp. 249-250
◽
2010 ◽
Vol 16
(3)
◽
pp. 269-284
◽
Keyword(s):