Towards SDN Network Proofs - Taming a Complex System

Matt Stevens, Bryan Ng, David Streader, Ian Welch. Towards SDN Network Proofs - Taming a Complex System. In Hai Wang, Mounir Mokhtari, editors, 21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016. pages 171-180, IEEE Computer Society, 2016. [doi]

Abstract

Abstract is missing.