On the Fly Verification of Network of Automata.

Stefania Gnesi Franco Mazzanti

Published in: PDPTA (1999)

Keyphrases

cellular automata
model checking
network structure
network model
wireless sensor networks
complex networks
network traffic
face verification
distributed network
neural network
communication cost
network architecture
finite state
network management
network parameters