Putting network verification to good use.

Ryan Beckett Ratul Mahajan

Published in: HotNets (2019)

Keyphrases

network model
complex networks
neural network
wireless sensor networks
model checking
network management
genetic algorithm
multi agent
sensor networks
communication cost
network architecture
mobile communication
fingerprint verification