"Availability Evaluation of Software Architectures through Formal Methods."

João Miguel Franco, Raul Barbosa, Mário Zenha Rela (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics