Publisher
Springer International Publishing
Reference22 articles.
1. Software-Defined Networking: The New Norm for Networks. ONF White paper (2012)
2. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Abrial, J.-R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fundam. Inform. 77(1–2), 1–28 (2007)
4. Akhunzada, A., Gani, A., Anuar, N.B., Abdelaziz, A., Khan, M.K., Hayat, A., Khan, S.U.: Secure and dependable software defined networks. J. Netw. Comput. Appl. 61, 199–221 (2016)
5. Al-Shaer, E., Al-Haj, S.: FlowChecker: configuration analysis and verification of federated openflow infrastructures. In: Proceedings of 3rd ACM Workshop on Assurable and Usable Security Configuration, SafeConfig ’10, USA, pp. 37–44. ACM (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献