Pages that link to "Item:Q5428908"
From MaRDI portal
The following pages link to Analysis of UML Activities Using Dynamic Meta Modeling (Q5428908):
Displayed 3 items.
- Towards automated software model checking using graph transformation systems and bogor (Q1049792) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems (Q5505610) (← links)