Login / Signup
On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress).
Erick Petersen
Jorge López
Natalia Kushik
Claude Poletti
Djamal Zeghlache
Published in:
NCA (2020)
Keyphrases
</>
dynamic networks
dynamically changing
peer to peer
network traffic
dynamic environments
computer networks
communication networks
data sets
genetic algorithm
mobile devices
shortest path
network structure
network model
modeling method