Verification by Network Decomposition.

Edmund M. Clarke Muralidhar Talupur Tayssir Touili Helmut Veith

Published in: CONCUR (2004)

Keyphrases

network traffic
computer networks
distributed network
network model
network topologies
wireless sensor networks
model checking
network structure
complex networks
communication networks
heterogeneous networks
data mining
genetic algorithm
web services
energy consumption