The following pages link to (Q3396638):
Displayed 6 items.
- Comprehensive systems: a formal foundation for multi-model consistency management (Q2065549) (← links)
- Combining Graph Transformation and Algebraic Specification into Model Transformation (Q2890331) (← links)
- Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels (Q3540397) (← links)
- Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions (Q3540428) (← links)
- Incremental Concurrent Model Synchronization using Triple Graph Grammars (Q5039536) (← links)
- Towards Multiple Model Synchronization with Comprehensive Systems (Q5039539) (← links)