Kwang Yong Koh

Statistics

Publications

Citations

H-Index

Active since

2008

Affiliations

Korea Atomic Energy Research Institute(Current)

Korea Advanced Institute of Science and Technology

Kwang Yong Koh is an author at Korea Atomic Energy Research Institute specializing in computer engineering, engineering, and safety-critical software engineering.

Publications per year

2008–2010

Publications

FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram

Eunkyoung Jee, Seungjae Jeon, Kwang Yong Koh et al. · 2010 · 22 citations

Computing, Computer Engineering, Computer Science +14

SMV model-based safety analysis of software requirements

Kwang Yong Koh, Poong Hyun Seong · Reliability Engineering & System Safety · 2008 · 16 citations

Engineering, Computer Engineering, Systems Engineering +14

FAULT TREE ANALYSIS OF KNICS RPS SOFTWARE

Gee-Yong Park, Kwang Yong Koh, Eunkyoung Jee et al. · Nuclear Engineering and Technology · 2008 · 15 citations · Full text

Engineering, Computer Engineering, Computer Science +10

1–3 of 3