Pages that link to "Item:Q5404179"
From MaRDI portal
The following pages link to Towards Verifying Model Transformations (Q5404179):
Displaying 4 items.
- A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
- A framework for model transformation verification (Q903517) (← links)
- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (Q3540403) (← links)
- Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (Q5403459) (← links)
