New Progressive Variable Ordering for Binary Decision Diagram Analysis of Fault Trees
| Year of publication: |
2005
|
|---|---|
| Authors: | Bartlett, L.M. ; Du, S. |
| Published in: |
Quality and reliability engineering international. - Chichester [u.a.] : Wiley, ISSN 0748-8017, ZDB-ID 506412. - Vol. 21.2005, 4, p. 413-426
|