Hyungbae Park, Sejun Song, Baek-Young Choi, Henry Zhu. Software-defined networking (SDN) control message classification, verification, and optimization system. In 2015 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Gaithersburg, MD, USA, November 2-5, 2015. pages 25-28, IEEE, 2015. [doi]
Abstract is missing.