“Open Proof” for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security
1995 ◽
Vol 7
(1)
◽
pp. 215-228
◽
Keyword(s):
1982 ◽
Vol 43
(5)
◽
pp. 755-759
◽
2012 ◽
Vol 132
(11)
◽
pp. 1033-1038
2013 ◽
Vol 133
(8)
◽
pp. 547-549