Kwang Yong Koh

According to our database, Kwang Yong Koh authored at least 7 papers between 2002 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram.

Eunkyoung Jee, Seungjae Jeon, Sung Deok Cha, Kwang Yong Koh, Junbeom Yoo, Gee-Yong Park, Poong-Hyun Seong

J. Res. Pract. Inf. Technol., 2010

2009

SMV model-based safety analysis of software requirements.

Kwang Yong Koh, Poong Hyun Seong

Reliab. Eng. Syst. Saf., 2009

2007

Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.

Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh

Proceedings of the Computer Safety, 2007

2003

Groups Merging and Groups Disbanding In IP Multicast.

Kwang Yong Koh, Hung Keng Pung

Proceedings of the 28th Annual IEEE Conference on Local Computer Networks (LCN 2003), 2003

2002

OCTOPUS: A Middleware for Multimedia Communication.

Cai Hong Zhang, Tze Keen Chin, Kwang Yong Koh, Geok Meng Ong, Cheng Han Peng, Hung Keng Pung, Sae-Whong Suthon

Proceedings of the Internet and Multimedia Systems and Applications, 2002

A JINI/JAVA based streaming framework for group communication.

Cai Hong Zhang, Kwang Yong Koh, Hung Keng Pung

Proceedings of the Proceedings 10th IEEE International Conference on Networks: Towards Network Superiority, 2002

OCTOPUS: an adaptive group communication environment for multimedia application.

Cai Hong Zhang, Tze Keen Chin, Kwang Yong Koh, Geok Meng Ong, Sae-Whong Suthon, Cheng Han Peng, Hung Keng Pung

Proceedings of the Proceedings 10th IEEE International Conference on Networks: Towards Network Superiority, 2002