On the practical applicability of SDN research.

Roberto di Lallo Mirko Gradillo Gabriele Lospoto Claudio Pisa Massimo Rimondini

Published in: NOMS (2016)

Keyphrases

process algebra
formal specification
expert systems
object oriented
formal methods
real time
software systems
asynchronous circuits