The following pages link to (Q4438797):
Displaying 8 items.
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- Development of global specification for dynamically adaptive software (Q488401) (← links)
- Attributed graph transformation with node type inheritance (Q882448) (← links)
- Coherently explaining UML statechart and collaboration diagrams by graph transformations (Q2848451) (← links)
- Symbolic Termination and Confluence Checking for ECA Rules (Q3452476) (← links)
- (Q4251114) (← links)
- (Q4483796) (← links)
- Towards Verifying Model Transformations (Q5404179) (← links)