A key deliverable: modeling languages
Formal modeling: a key deliverable for more reliable and innovative models The Archi-CESAM project, supported by PEPR Cloud, has just released a document entitled: “Description of the Targeted Formal Modeling Languages and their Semantics.” Written by Zachary Assoumani, a doctoral student in the CONVECS team, this document presents an overview…






