"MDE"@en . "Mounira" . "Proof assistant"@en . "Model driven engineering"@en . "Ing\u00E9nierie dirig\u00E9e par les Mod\u00E8les"@fr . . "V\u00E9rification et validation"@fr . . "MOF"@en . "Assemblage"@fr . "Verification and Validation"@en . . "Modeling languages"@en . "Mounira Kezadri" . . "Ontology"@en . "Kezadri" . "5bb2be1ee6dea042fe8378ccc293eabb" . "Ontologie"@fr . <176661654> . "Formalisation"@fr . "Formal verification"@en . "Assistant \u00E0 la preuve"@fr . "Composition"@en .