BDD based analysis of parametric fault trees

2006 ◽  
Author(s):  
D. Codetta-Raiteri
Keyword(s):  
Fault Trees ◽  
Parametric Fault

CAT: a computer code for the automated construction of fault trees. [In FORTRAN]

1978 ◽  
Author(s):  
G. E. Apostolakis ◽  
S. L. Salem ◽  
J. S. Wu
Keyword(s):  
Computer Code ◽  
Fault Trees

Software safety analysis of function block diagrams using fault trees

2005 ◽  
Vol 88 (3) ◽  
pp. 215-228 ◽  
Author(s):  
Younju Oh ◽  
Junbeom Yoo ◽  
Sungdeok Cha ◽  
Han Seong Son
Keyword(s):  
Safety Analysis ◽  
Software Safety ◽  
Fault Trees ◽  
Function Block ◽  
Analysis Of Function

A new methodology for the computer-aided construction of fault trees

1977 ◽  
Vol 4 (9-10) ◽  
pp. 417-433 ◽  
Author(s):  
S.L. Salem ◽  
G.E. Apostolakis ◽  
D. Okrent
Keyword(s):  
Fault Trees ◽  
Computer Aided
Sign in / Sign up

Export Citation Format

Share Document