Login / Signup
Modeling and verifying dynamic communication structures based on graph transformations.
Tobias Eckardt
Christian Heinzemann
Stefan Henkler
Martin Hirsch
Claudia Priesterjahn
Wilhelm Schäfer
Published in:
Comput. Sci. Res. Dev. (2013)
Keyphrases
</>
graph structures
graph structure
communication systems
structured data
directed acyclic graph
graph representation
random walk
dynamic environments
model checking
graph partitioning
communication protocol
global structure
dependency graph
dynamic characteristics
dynamic aspects