Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay. Statistical Model Checking of Dynamic Software Architectures. In Bedir Tekinerdogan, Uwe Zdun, Ali Babar, editors, Software Architecture - 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 - December 2, 2016, Proceedings. Volume 9839 of Lecture Notes in Computer Science, pages 185-200, 2016. [doi]
Abstract is missing.