Prashanthi Boddu, Liudong Xing. Incorporating Modular Imperfect Coverage into Dynamic Hierarchical Systems Analysis. In Third IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2007, Columbia, MD, USA, September 25-26, 2007. pages 21-28, IEEE Computer Society, 2007. [doi]
Abstract is missing.