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

Raquel Arajo de Oliveira, Juergen Dingel

Browse the full MODELS paper archive.