Pages that link to "Item:Q903517"
From MaRDI portal
The following pages link to A framework for model transformation verification (Q903517):
Displaying 7 items.
- Variability-based model transformation: formal foundation and application (Q682373) (← links)
- A framework for model transformation verification (Q903517) (← links)
- Towards lightweight checks for mass maintenance transformations (Q2485275) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- Towards Verifying Model Transformations (Q5404179) (← links)
- Formal Methods in Computer-Aided Design (Q5492978) (← links)
- Combining termination proofs in model transformation systems (Q5740376) (← links)