Sciweavers

5525 search results - page 166 / 1105
» Verification of Model Transformations
Sort
View
118
Voted
SAMOS
2004
Springer
15 years 8 months ago
IDF Models for Trace Transformations: A Case Study in Computational Refinement
Cagkan Erbas, Simon Polstra, Andy D. Pimentel