Seungjae Jeon

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

S. Cha, G. Park, Eunkyoung Jee, 2010, J. Res. Pract. Inf. Technol..

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

Junbeom Yoo, Sung Deok Cha, Poong-Hyun Seong, 2010, J. Res. Pract. Inf. Technol..

Testing of Timer Function Blocks in FBD

Kee-Choon Kwon, Junbeom Yoo, Sung Deok Cha, 2006, 2006 13th Asia Pacific Software Engineering Conference (APSEC'06).

Verification of function block diagram through verilog translation = Verilog 변환을 이용한 FBD의 정형검증

전승재, Seung-Jae Jeon, Eunkyoung Jee, 2007 .