Quantitative Aspects of Behaviour Network Verification.

Christopher Armbrust Thorsten Ropertz Lisa Kiekbusch Karsten Berns

Published in: Canadian Conference on AI (2013)

Keyphrases

peer to peer
network parameters
information retrieval
knowledge base
wireless sensor networks
model checking
network traffic
network model
network design
data sets
information systems
mobile robot
complex networks
qualitative and quantitative
network size
user behaviour