This paper discusses some of the difficulties in the paper: "A BIDD-based algorithm for reliability analysis of phased-mission systems" by X. Zang, H. Sun, and K.S. Trivedi.
Related links
Metrics
1 Record Views
Details
Title
Comments on PMS BDD generation in 'A BDD-based algorithm for reliability analysis of phased-mission systems' [2]
Creators
L D Xing - University of Massachusetts Dartmouth
J B Dugan - University of Virginia
Publication Details
IEEE transactions on reliability, Vol.53(2), pp.169-173