Binary decision diagrams for fault tree analysis

This thesis develops a new approach to fault tree analysis, namely the Binary Decision Diagram (BDD) method. Conventional qualitative fault tree analysis techniques such as the "top-down" or "bottom-up" approaches are now so well developed that further refinement is unlikely to r...

Full description

Bibliographic Details
Main Author: Sinnamon, Roslyn M.
Published: Loughborough University 1996
Subjects:
005
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360800