Login / Signup
Kwang Yong Koh
Publication Activity (10 Years)
Years Active: 2002-2010
Publications (10 Years): 0
</>
Publications
</>
Eunkyoung Jee
,
Seungjae Jeon
,
Sung Deok Cha
,
Kwang Yong Koh
,
Junbeom Yoo
,
Gee-Yong Park
,
Poong-Hyun Seong
FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram.
J. Res. Pract. Inf. Technol.
42 (3) (2010)
Kwang Yong Koh
,
Poong Hyun Seong
SMV model-based safety analysis of software requirements.
Reliab. Eng. Syst. Saf.
94 (2) (2009)
Gee-Yong Park
,
Jang-Soo Lee
,
Se Woo Cheon
,
Kee-Choon Kwon
,
Eunkyoung Jee
,
Kwang Yong Koh
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.
SAFECOMP
(2007)
Kwang Yong Koh
,
Hung Keng Pung
Groups Merging and Groups Disbanding In IP Multicast.
LCN
(2003)
Cai Hong Zhang
,
Tze Keen Chin
,
Kwang Yong Koh
,
Geok Meng Ong
,
Cheng Han Peng
,
Hung Keng Pung
,
Sae-Whong Suthon
OCTOPUS: A Middleware for Multimedia Communication.
IMSA
(2002)
Cai Hong Zhang
,
Tze Keen Chin
,
Kwang Yong Koh
,
Geok Meng Ong
,
Sae-Whong Suthon
,
Cheng Han Peng
,
Hung Keng Pung
OCTOPUS: an adaptive group communication environment for multimedia application.
ICON
(2002)
Cai Hong Zhang
,
Kwang Yong Koh
,
Hung Keng Pung
A JINI/JAVA based streaming framework for group communication.
ICON
(2002)