Verification Techniques for a Network Algebra.

Linda Brodo Carlos Olarte

Published in: Fundam. Informaticae (2020)

Keyphrases

network design
communication networks
wireless sensor networks
network model
computer networks
network traffic
network structure
model checking
intrusion detection
complex networks
communication cost
data flow
neural network
formal verification
mobile communication
network size
origin destination