Pages that link to "Item:Q3192231"
From MaRDI portal
The following pages link to Specification and Verification of Graph-Based Model Transformation Properties (Q3192231):
Displaying 4 items.
- A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
- Formal software specification with refinements and modules of typed graph transformation systems (Q1608315) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformat (Q4923504) (← links)