Levi Lucio, Bentley Oakes
, Claudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy et Hans Vangheluwe
Communication écrite (2015)
 Document en libre accès chez l'éditeur officiel |
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Un lien externe est disponible pour ce document
| URL de PolyPublie: | https://publications.polymtl.ca/56109/ |
|---|---|
| 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: | https://ceur-ws.org/Vol-1554/PD_MoDELS_2015_paper_... |
| Date du dépôt: | 02 nov. 2023 15:35 |
| Dernière modification: | 05 avr. 2024 12:03 |
| 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.
Actions réservées au personnel
|
Afficher document |
