Automated Reliability Prediction from Formal Architectural Descriptions

João M. Franco, Raul Barbosa, Mário Zenha Rela. Automated Reliability Prediction from Formal Architectural Descriptions. In 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, WICSA/ECSA 2012, Helsinki, Finland, August 20-24, 2012. pages 302-309, IEEE, 2012. [doi]