Digital Library[ Search Result ]
Search : "[ author: Choi ]" (1015)
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)
Photonic Microwave Notch Filter with Negative Coefficient Using Reflective Semiconductor Optical Amplifier
Won-Bae Kwon Yong-Kyu Choi Junsu Kim Kyung-Ho Kim Min-A Jeong
Seong Ro Lee Chang-Soo Park
Vol. 39, No. 5, pp. 418-424, May 2014
Seong Ro Lee Chang-Soo Park
Vol. 39, No. 5, pp. 418-424, May 2014
![](https://d2kjln74dkk4oj.cloudfront.net/img/ft_doi.png)
An APK Overwrite Scheme for Preventing Modification of Android Applications
Byungha Choi HyungJoon Shim ChanHee Lee Sangwook Cho Seong-je Cho
Vol. 39, No. 5, pp. 309-316, May 2014
Vol. 39, No. 5, pp. 309-316, May 2014
![](https://d2kjln74dkk4oj.cloudfront.net/img/ft_doi.png)