Levi Lucio, Bentley Oakes
, Claudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe
Communication écrite (2015)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Accéder à ce document
Lien externe
Libre accès au texte intégral chez l'éditeur officiel
Libre accès au texte intégral chez l'éditeur officiel
Adresse URL de PolyPublie:
Nom de la conférence:
Model Driven Engineering Languages and Systems (MODELS 2015)
Lieu de la conférence:
Ottawa, Ont.
Date(s) de la conférence:
2015-09-27 - 2015-10-02
URL officielle:
OAI:
oai:publications.polymtl.ca:56109
ORCID
Date du dépôt:
02 nov. 2023 15:35
Dernière modification:
14 oct. 2026 14:15
Citer en APA 7:
Lucio, L., Oakes, B., Gomes, C., Selim, G. M. K., Dingel, J., Cordy, J. R., & Vangheluwe, H. (septembre 2015). SyVOLT: Full Model Transformation Verification Using Contract [Communication écrite]. Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Ont.. https://ceur-ws.org/Vol-1554/PD_MoDELS_2015_paper_8.pdf
Statistiques
Aucune statistique n'est disponible.
