Pages that link to "Item:Q5902550"
From MaRDI portal
The following pages link to Formal Methods for Open Object-Based Distributed Systems (Q5902550):
Displayed 11 items.
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- Verification of graph grammars using a logical approach (Q436370) (← links)
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Towards automated software model checking using graph transformation systems and bogor (Q1049792) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← 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)
- Towards the Verification of Attributed Graph Transformation Systems (Q3540407) (← links)
- Workshop on Petri Nets and Graph Transformations (Q3540422) (← links)
- Formal Verification of Graph Grammars using Mathematical Induction (Q5179351) (← links)