Performance analysis of a generic naval C2battle group system by use of timed Petri nets. - Bong Wan Choi; Way Kuo (WSC, 1988)

A semantic translation method for data communication protocols. - Jingyu Kim; Sungwon Kang; Jihyun Lee; Bong Wan Choi (J. Syst. Softw., 2012)