Supporting Model Refinement with Equivalence Checking in the Context of Model-Driven Engineering with UML-RT - Université Grenoble Alpes
Communication Dans Un Congrès Année : 2017

Supporting Model Refinement with Equivalence Checking in the Context of Model-Driven Engineering with UML-RT

Raquel Oliveira
Laboratoire d'Informatique de Grenoble
Juergen Dingel
  • Fonction : Auteur
  • PersonId : 923301

Domaines

Informatique [cs]

Raquel Oliveira  : Connectez-vous pour contacter le contributeur

https://hal.univ-grenoble-alpes.fr/hal-04791053

Soumis le : mardi 19 novembre 2024-14:29:49

Dernière modification le : lundi 9 décembre 2024-03:26:46

Fichier non déposé

Dates et versions

hal-04791053 , version 1 (19-11-2024)

Identifiants

  • HAL Id : hal-04791053 , version 1

Citer

Raquel Oliveira, Juergen Dingel. Supporting Model Refinement with Equivalence Checking in the Context of Model-Driven Engineering with UML-RT. 14th Workshop on Model-Driven Engineering, Verification and Validation (MODEVVA 2017), Oct 2017, Austin (TX), United States. ⟨hal-04791053⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS LIG LIG_SIDCH
2 Consultations
0 Téléchargements

Partager

More