The following pages link to Graph Transformations (Q5292598):
Displaying 11 items.
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- Verification of graph grammars using a logical approach (Q436370) (← links)
- Variability-based model transformation: formal foundation and application (Q682373) (← links)
- A framework for model transformation verification (Q903517) (← links)
- Towards automated software model checking using graph transformation systems and bogor (Q1049792) (← links)
- Joint optimization and reachability analysis in graph transformation systems with time (Q2847858) (← links)
- Abstract graph transformation (Q2852078) (← links)
- Verification of random graph transformation systems (Q2867889) (← links)
- (Q5020535) (← links)
- Formal Verification of Graph Grammars using Mathematical Induction (Q5179351) (← links)
- (Q6198042) (← links)