Variable ordering heuristics for binary decision diagrams

Fault tree analysis, FTA, is one of the most commonly used techniques for safety system assessment. Over the past five years the Binary Decision Diagram (BDD) methodology has been introduced which significantly aids the analysis of the fault tree diagram. The approach has been shown to improve both...

Full description

Saved in:
Bibliographic Details
Main Author: L.M. Bartlett
Format: Default Thesis
Published: 2000
Subjects:
Other mathematical sciences not elsewhere classified
untagged
Mathematical Sciences not elsewhere classified
Online Access:https://hdl.handle.net/2134/10362
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://hdl.handle.net/2134/10362

Similar Items