Jae Yeon Jo

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Sanghyun Yoon, Jae Yeon Jo, Junbeom Yoo
A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems. SSIRI (Companion) (2011)
Han Choi, Sung Deok Cha, Jae Yeon Jo, Junbeom Yoo, Hae Young Lee, Won-Tae Kim
Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech. FGIT-CA/CES3 (2011)