Login / Signup
On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators.
Erick Petersen
Jorge López
Natalia Kushik
Claude Poletti
Djamal Zeghlache
Published in:
CoRR (2020)
Keyphrases
</>
dynamic networks
network model
complex networks
modulo theories
artificial neural networks
orders of magnitude
computer networks
social networks
wireless sensor networks
peer to peer
network structure
network architecture
network management
dynamically changing