Delta-net: Real-time Network Verification Using Atoms.

Alex Horn Ali Kheradmand Mukul R. Prasad

Published in: CoRR (2017)

Keyphrases

real time
network structure
control system
wireless sensor networks
network design
data sets
network architecture
network model
network traffic
model checking
peer to peer
complex networks
computer networks
quality of service
vision system
face verification
asynchronous circuits