@inproceedings{c1a5dc8030fe4609830f9155828581f7,

title = "Dependability analysis for large systems: A hierarchical modeling approach",

abstract = "Dependability analysis of a large network is NP-hard due to the state space explosion. A hierarchical Boolean algebraic method was recently introduced to efficiently evaluate static terminal reliability and task-based reliability by dividing the problem into smaller, more manageable pieces. We extend this method to evaluate time-dependent reliability and availability, collectively referred to as `dependability', and to approximate MTTF.",

author = "Dahlberg, {Teresa A.} and Agrawal, {Dharma P.}",

year = "1993",

month = dec,

day = "1",

language = "English (US)",

isbn = "081864222X",

series = "Proceedings of the 5th IEEE Symposium on Parallel and Distributed Processing",

publisher = "IEEE Computer Society",

pages = "456--459",

editor = "Anon",

booktitle = "Proceedings of the 5th IEEE Symposium on Parallel and Distributed Processing",

address = "United States",

note = "Proceedings of the 5th IEEE Symposium on Parallel and Distributed Processing ; Conference date: 01-12-1993 Through 04-12-1993",

}