Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams.
| Autor: | Mesli-Kesraoui, Soraya, Kesraoui, Djamal, Oquendo, Flavio, Bignon, Alain, Toguyeni, Armand, Berruet, Pascal |
|---|---|
| Zdroj: | Software Architecture: 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings; 2016, p210-226, 17p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|