Stefano Porcarelli, Felicita Di Giandomenico, Paolo Lollini, Andrea Bondavalli. A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems. In Miroslaw Malek, Manfred Reitenspieß, Jörg Kaiser, editors, Service Availability, First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers. Volume 3335 of Lecture Notes in Computer Science, pages 160-174, Springer, 2004. [doi]
Abstract is missing.