Login / Signup
Tool-assisted verification of behaviour networks.
Christopher Armbrust
Lisa Kiekbusch
Thorsten Ropertz
Karsten Berns
Published in:
ICRA (2013)
Keyphrases
</>
software tools
databases
multiscale
model checking
network structure
computer networks
database
real world
computer vision
complex networks
user friendly
network analysis
analysis tool
cellular networks
network size