Yoon-Kyu Jan

Publication Activity (10 Years)

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

Publications

Sang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae
Safety Verification of Ada95 Programs Using Software Fault Trees. SAFECOMP (1999)