Modeling and Verifying Dynamic Communication Structures based on Graph Transformations.
Stefan HenklerMartin HirschClaudia PriesterjahnWilhelm SchäferPublished in: Software Engineering (2010)
Keyphrases
- dynamic networks
- communication systems
- graph structures
- modeling method
- graph representation
- graph model
- bayesian networks
- directed graph
- graph theory
- spanning tree
- dynamic graph
- dynamic aspects
- communication technologies
- communication channels
- weighted graph
- graph structure
- graph matching
- connected components
- information sharing
- dynamic environments
- pairwise
- data structure