Login / Signup
A formal model and verification problems for software defined networks.
Vladimir A. Zakharov
R. L. Smelyansky
Eugene V. Chemeritsky
Published in:
Autom. Control. Comput. Sci. (2014)
Keyphrases
</>
formal model
user interface
software development
model checking
data sets
np complete
information systems
objective function
optimization problems
computer systems
software systems
software quality
formal models
verification method