Automated Analysis of Reliability Architectures

Marco Bozzano, Alessandro Cimatti, Cristian Mattarei. Automated Analysis of Reliability Architectures. In 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013. pages 198-207, IEEE, 2013. [doi]

Abstract

Abstract is missing.