곽희환

Method and apparatus for generating or synchronizing frame number, and the method using the same

전형준, 김재형, 김광석, 2007 .

Distributed antenna system, method for processing frame of the same, and method for avoiding congestion of the same

권동희, 홍후표, 곽희환, 2016 .

Process Algebra Based Symbolic Verification Framework for Software-Defined Networking

Miyoung Kang, Jin-Young Choi, 곽희환, 2013 .

System and method for checking connection in a communication system

전형준, 김재형, 권동희, 2007 .

SDN 응용 검증을 위한 프로세스 알지브라 기반 정형 기법

이지현, 이승익, 이종화, 2014 .