Skip to Main content Skip to Navigation
New interface
Conference papers

Construction Formelle et Gestion de la Cohérence des Modèles

Grégory Fombelle Xavier Blanc 1 Laurent Rioux Marie-Pierre Gervais 1 
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01334990
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Tuesday, June 21, 2016 - 3:40:35 PM
Last modification on : Sunday, June 26, 2022 - 9:54:34 AM

Identifiers

  • HAL Id : hal-01334990, version 1

Citation

Grégory Fombelle, Xavier Blanc, Laurent Rioux, Marie-Pierre Gervais. Construction Formelle et Gestion de la Cohérence des Modèles. 3ème Conférence sur l'Ingénierie des Modèles (IDM'07), Mar 2007, Toulouse, France. pp.59-73. ⟨hal-01334990⟩

Share

Metrics

Record views

45