A verified realization of a Dempster–Shafer based fault tree analysis - Rebner, Gabor; Auer, Ekaterina; Luther, Wolfram (Computing, 2012)
Keywords: Algorithms; Analysis; Arithmetic; Artificial Intelligence; Computer Appl. in Administrative Data Processing; Computer Communication Networks; Computer Science; Failure; Fault tree analysis; Fault trees; Handles; Information Systems Applications (incl.Internet); Intervals; Matlab; Methods; Probability; Schroder trees; Software Engineering; Studies; Interval analysis; 65G30; 60A99; Dempster–Shafer theory; INTLAB; Fault tree analysis; MATLAB