Comparison of variable ordering heuristics / algorithms for binary decision diagrams
Fault tree analysis is a commonly used technique to assess the systems reliability performance in terms of its components reliability characteristics. More recently, the Binary Decision Diagram (BDD) methodology has been introduced which significantly aids the analysis of the fault tree diagram. The...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Default Text |
| Published: |
1999
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/2134/3829 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|