K-Terminal Network Reliability Measures With Binary Decision Diagrams.

Gary Hardy Corinne Lucet Nikolaos Limnios

Published in: IEEE Trans. Reliab. (2007)

Keyphrases

binary decision diagrams
network reliability
symbolic model checking
computer networks
network topologies
transmission line
boolean functions
communication networks
ip networks
model checking
data transmission
data analysis
computational intelligence
np complete