Pages that link to "Item:Q1994363"
From MaRDI portal
The following pages link to Probabilistic timed graph transformation systems (Q1994363):
Displaying 9 items.
- Compositional analysis of probabilistic timed graph transformation systems (Q2044184) (← links)
- A tale of two graph models: a case study in wireless sensor networks (Q2065559) (← links)
- Interval probabilistic timed graph transformation systems (Q2117267) (← links)
- Preface to the special issue on the 10th international conference on graph transformation (Q2423748) (← links)
- (Q5020536) (← links)
- Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Q5100737) (← links)
- Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (Q5100739) (← links)
- A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies (Q5100746) (← links)
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620) (← links)
