Seung-Jae Jeon

A Formal Verification Technique for PLC Programs Implemented with Function Block Diagrams

Eunkyoung Jee, Sungdeok Cha, Seung-Jae Jeon, 2009 .

A Structural Testing Strategy for PLC Programs Specified by Function Block Diagram

Eunkyoung Jee, Sungdeok Cha, Seung-Jae Jeon, 2008 .

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

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