A simple component-connection method for building binary decision diagrams encoding a fault tree
2000 ◽
Vol 70
(1)
◽
pp. 59-70
◽
Keyword(s):
2009 ◽
Vol 223
(4)
◽
pp. 301-311
◽
Keyword(s):
2008 ◽
Vol 93
(10)
◽
pp. 1543-1550
◽
Keyword(s):
Keyword(s):
2002 ◽
Vol 78
(1)
◽
pp. 45-56
◽
Keyword(s):
Keyword(s):