Results 201 to 206 of about 3,773,797 (206)

Binary Decision Diagrams

IEEE Transactions on Computers, 1978
exaly  

Formal verification using edge-valued binary decision diagrams

IEEE Transactions on Computers, 1996
Massoud Pedram
exaly  

Assessment of redundant systems with imperfect coverage by means of binary decision diagrams

Reliability Engineering and System Safety, 2008
Antoine Rauzy, Albert F Myers
exaly  

A fault tree analysis strategy using binary decision diagrams

Reliability Engineering and System Safety, 2002
exaly  

Variable ordering schemes to apply to the binary decision diagram methodology for event tree sequences assessment

Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 2008
E Meléndez
exaly  

Some disturbing facts about depth-first left-most variable ordering heuristics for binary decision diagrams

Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 2008
exaly