Open AccessLeveraging Rigorous Software Specification Towards Systematic Detection of SDN Control Conflicts (S)
Author(s) -
Xin Sun,
Lan Lin
Publication year - 2019
Publication title -
proceedings/proceedings of the ... international conference on software engineering and knowledge engineering
Language(s) - English
Resource type - Conference proceedings
eISSN - 2325-9000
pISSN - 2325-9086
DOI - 10.18293/seke2019-014
Subject(s) - computer science , novelty , constructive , software defined networking , software , key (lock) , control (management) , distributed computing , software engineering , controller (irrigation) , computer security , artificial intelligence , operating system , process (computing) , agronomy , biology , philosophy , theology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom