TY - GEN
T1 - A new symbolic approach for network reliability analysis
AU - Beccuti, Marco
AU - Bobbio, Andrea
AU - Franceschinis, Giuliana
AU - Terruggia, Roberta
PY - 2012
Y1 - 2012
N2 - In this paper we propose an improved BDD approach to the network reliability analysis, that allows the user to compute an exact solution or an approximation based on reliability bounds when network complexity makes the former solution practically impossible.
AB - In this paper we propose an improved BDD approach to the network reliability analysis, that allows the user to compute an exact solution or an approximation based on reliability bounds when network complexity makes the former solution practically impossible.
KW - BDD
KW - Exact and Approximate Algorithms
KW - Network Reliability
KW - Upper and Lower Bound
UR - http://www.scopus.com/inward/record.url?scp=84866647347&partnerID=8YFLogxK
U2 - 10.1109/DSN.2012.6263935
DO - 10.1109/DSN.2012.6263935
M3 - Conference contribution
AN - SCOPUS:84866647347
SN - 9781467316248
T3 - Proceedings of the International Conference on Dependable Systems and Networks
BT - 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2012
T2 - 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2012
Y2 - 25 June 2012 through 28 June 2012
ER -