Formal Modeling and Verification of SDN-OpenFlow.

Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi

Browse the full ICST paper archive.