Publisher
Springer International Publishing
Reference27 articles.
1. Alkanhel, R., et al.: Intelligent transmission control for efficient operations in SDN. CMC-Comput. Mater. Continua 71(2), 2807–2825 (2022)
2. Ball, T., et al.: Vericon: towards verifying controller programs in software-defined networks. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 282–293 (2014)
3. Canini, M., Venzano, D., Perešíni, P., Kostić, D., Rexford, J.: A $$\{$$NICE$$\}$$ way to test openflow applications. In: 9th $$\{$$USENIX$$\}$$ Symposium on Networked Systems Design and Implementation ($$\{$$NSDI$$\}$$ 12), pp. 127–140 (2012)
4. Foster, N., et al.: Frenetic: a network programming language. ACM Sigplan Notices 46(9), 279–291 (2011)
5. Guha, A., Reitblatt, M., Foster, N.: Machine-verified network controllers. ACM Sigplan Notices 48(6), 483–494 (2013)