Concepedia

Eunkyung Jee

EJ

Statistics

Publications

3

Citations

82

H-Index

3

Active since

2003

Affiliations

Korea Advanced Institute of Science and Technology(Current)

Eunkyung Jee is an author at Korea Advanced Institute of Science and Technology specializing in computer science, computing, and verification.

Publications per year

2003–2009

3

Publications

3

A Verification Framework for FBD Based Software in Nuclear Power Plants

Junbeom Yoo, Sungdeok Cha, Eunkyung Jee · 2008 · 39 citations

, , +16

VERIFICATION OF PLC PROGRAMS WRITTEN IN FBD WITH VIS

Junbeom Yoo, Sungdeok Cha, Eunkyung Jee · Nuclear Engineering and Technology · 2009 · 29 citations · Full text

, , +8

Systematic evaluation of fault trees using real-time model checker UPPAAL

Sungdeok Cha, Hanseong Son, Junbeom Yoo et al. · Reliability Engineering & System Safety · 2003 · 14 citations

, , +11

1–3 of 3