The following pages link to Global Computing (Q5464838):
Displaying 6 items.
- Towards automated software model checking using graph transformation systems and bogor (Q1049792) (← links)
- Transformation and verification of executable UML models (Q2847424) (← links)
- Coherently explaining UML statechart and collaboration diagrams by graph transformations (Q2848451) (← links)
- (Q3638655) (← links)
- Exploiting User-definable Synchronizations in Graph Transformation (Q5404173) (← links)
- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems (Q5505610) (← links)