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
Juergen Dingel
  • Fonction : Auteur
  • PersonId : 923301
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⟩
0 Consultations
0 Téléchargements

Partager

More