Concepedia

Terminal reliability using binary decision diagrams

Harpreet Singh, S. Vaithilingam, RadhaKiranMaye Anne, Lisa Anneberg

Microelectronics Reliability · 1996 · 20 citations · 2 references

On this page

Concepts

References

Concepts

ReliabilityReliability EngineeringEngineeringReliability ModellingSoftware TestingVerificationFormal MethodsComputer ScienceSystem ReliabilityReliability AnalysisFormal VerificationTerminal Reliability

References

2

Binary Decision Diagrams

Akers · IEEE Transactions on Computers · 1978 · 1.8K citations

Engineering, Electronic Design Automation, Computer Architecture +23

A Boolean algebra method for computing the terminal reliability in a communication network

L. Fratta, Ugo Montanari · IEEE Transactions on Circuit Theory · 1973 · 210 citations

Circuit Complexity, Engineering, Boolean Function +22