Development of a Scheme Design and Verification Tool based on Software Design Diversity for Solid State Interlocking Systems
1995 ◽
Vol 115
(5)
◽
pp. 665-671
◽
1993 ◽
Vol 15
(5)
◽
pp. 159-166
◽
Keyword(s):
2016 ◽
Vol 24
(1)
◽
pp. 45-63
◽
1987 ◽
Vol 45
◽
pp. 460-463
1985 ◽
Vol 43
◽
pp. 54-55
Keyword(s):
1992 ◽
Vol 50
(2)
◽
pp. 1736-1737
Keyword(s):