
Performance assessment and reliability analysis of dependable and distributed computing systems based on BDD and recursive merge
Keywords: سیستم توزیع شده; Reliability; OBDD; Fault-coverage; System availability; Distributed system;