Digital Library[ Search Result ]
Search : "[ author: Kang ]" (633)
Process Algebra Based Formal Method for SDN Application Verification
Myung-Ki Shin Jong-Hwa Yi Yunchul Choi Jihyun Lee Seung-Ik Lee
Miyoung Kang Hee Hwan Kwak Jin-Young Choi
Vol. 39, No. 6, pp. 387-396, Jun. 2014
Miyoung Kang Hee Hwan Kwak Jin-Young Choi
Vol. 39, No. 6, pp. 387-396, Jun. 2014
![](https://d2kjln74dkk4oj.cloudfront.net/img/ft_doi.png)
SDN-Based Middlebox Management Framework in Integrated Wired and Wireless Networks
Giwon Lee Insun Jang Wontae Kim Sukjin Joo Myungsoo Kim
Sangheon Pack Chul-Hee Kang
Vol. 39, No. 6, pp. 379-386, Jun. 2014
Sangheon Pack Chul-Hee Kang
Vol. 39, No. 6, pp. 379-386, Jun. 2014
![](https://d2kjln74dkk4oj.cloudfront.net/img/ft_doi.png)