Pages that link to "Item:Q2847855"
From MaRDI portal
The following pages link to Verifying object-based graph grammars (Q2847855):
Displaying 6 items.
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- Verigraph: a system for specification and analysis of graph grammars (Q1784784) (← links)
- Formal verification of object-oriented graph grammars specifications (Q2867893) (← links)
- Code generation for parallel applications modelled with object-based graph grammars (Q2870327) (← links)
- Stochastic object-based graph grammars (Q2870329) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902550) (← links)