Login / Signup
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