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