Article Dans Une Revue
Electronic Communications of the EASST
Année : 2009
GAELLE LANNUZEL : Connectez-vous pour contacter le contributeur
https://univ-pau.hal.science/hal-01906776
Soumis le : samedi 27 octobre 2018-17:45:11
Dernière modification le : lundi 7 novembre 2022-17:24:33
Dates et versions
Identifiants
- HAL Id : hal-01906776 , version 1
Citer
Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam. OCL Contracts for the Verification of Model Transformations. Electronic Communications of the EASST, 2009, 24. ⟨hal-01906776⟩
55
Consultations
0
Téléchargements