Modeling, verification and pattern generation for reconfigurable scan networks.

Rafal Baranowski Michael A. Kochte Hans-Joachim Wunderlich

Published in: ITC (2012)

Keyphrases

pattern generation
neural network
swarm robots
network size
low cost
social networks
cellular automaton
model checking
computer networks
community detection
network model
modeling method
formal methods
formal verification
fuzzy cognitive maps
network topologies
general purpose
scan data
database