Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams.

Soraya Mesli-Kesraoui, Djamal Kesraoui, Flvio Oquendo, Alain Bignon, Armand Toguyni, Pascal Berruet

Browse the full ECSA paper archive.