Formal analysis approach on networks with dynamic behaviours.

Gayan de Silva Petr Matousek Ondrej Rysavý Miroslav Svéda

Published in: ICUMT (2010)

Keyphrases

formal analysis
agent model
formal methods
social networks
dynamic networks
network design
business processes
network structure
heterogeneous networks
ban logic