论文信息 - Comments on PMS BDD generation in 'A BDD-based algorithm for Reliability Analysis of phased-mission systems'

Comments on PMS BDD generation in 'A BDD-based algorithm for Reliability Analysis of phased-mission systems'

This paper discusses some of the difficulties in the paper: "A BDD-based algorithm for reliability analysis of phased-mission systems" by X. Zang, H. Sun, and K. S. Trivedi.

Liudong Xing | Joanne Bechta Dugan

[1] Randal E. Bryant,et al. Efficient implementation of a BDD package , 1991, DAC '90.

[2] Kishor S. Trivedi,et al. A BDD-based algorithm for reliability analysis of phased-mission systems , 1999 .