A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification.

Alex Horn Ali Kheradmand Mukul R. Prasad

Published in: CoRR (2019)

Keyphrases

theoretical framework
theoretical foundation
peer to peer
collaborative knowledge building
conceptual framework
information systems
complex networks
fundamental principles
machine learning
wireless sensor networks
model checking
network structure
network architecture
statistical learning theory
conceptual change