Fingerprint
Dive into the research topics of 'Formal modeling and verification of SDN-OpenFlow'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution