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
ECSA, 2016.
@inproceedings{ECSA-2016-Mesli-KesraouiK,
author = "Soraya Mesli-Kesraoui and Djamal Kesraoui and Flávio Oquendo and Alain Bignon and Armand Toguyéni and Pascal Berruet",
booktitle = "{Proceedings of the 10th European Conference on Software Architecture}",
doi = "10.1007/978-3-319-48992-6_16",
isbn = "978-3-319-48991-9",
pages = "210--226",
title = "{Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams}",
year = 2016,
}