Pages that link to "Item:Q1608315"
From MaRDI portal
The following pages link to Formal software specification with refinements and modules of typed graph transformation systems (Q1608315):
Displayed 5 items.
- Amalgamation of domain specific languages with behaviour (Q347380) (← links)
- Graph-based specification of access control policies (Q2486563) (← links)
- An Institution for Graph Transformation (Q2890329) (← links)
- Graph Transformation Units – An Overview (Q3507357) (← links)
- An Abstract Module Concept for Graph Transformation Systems (Q4923549) (← links)