Poong-Hyun Seong

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..