Auto-Configuration of SDN Switches in SDN/Non-SDN Hybrid Network.

Rohit Katiyar Prakash Pawar Abhay Gupta Kotaro Kataoka

Published in: AINTEC (2015)

Keyphrases

process algebra
auto configuration
wireless sensor networks
network structure
formal specification
communication networks
network model
model checking
computer networks
concurrent systems
web services composition
asynchronous circuits