Soraya Mesli-Kesraoui, Djamal Kesraoui, Flávio Oquendo, Alain Bignon, Armand Toguyéni, Pascal Berruet. Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams. 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 210-226, 2016. [doi]
Abstract is missing.