Login / Signup
VERMONT: Towards an In-band Telemetry-Based Approach for Live Network Property Verification.
Gabriel Vassoler
Jonatas Adilson Marques
Luciano Paschoal Gaspary
Published in:
NOMS (2023)
Keyphrases
</>
network model
network traffic
network size
data flow
complex networks
network structure
model checking
case study
website
data mining
neural network
wireless sensor networks
information systems
link prediction
network architecture
network management
power law
formal verification
network topologies
data sets