Login / Signup
Chang Hwoi Kim
Publication Activity (10 Years)
Years Active: 2004-2016
Publications (10 Years): 1
Top Topics
Qualitative And Quantitative
Fault Tolerance
State Machine
Top Venues
Reliab. Eng. Syst. Saf.
</>
Publications
</>
Kwang Seop Son
,
Dong Hoon Kim
,
Chang Hwoi Kim
,
Hyun Gook Kang
Study on the systematic approach of Markov modeling for dependability analysis of complex fault-tolerant features with voting logics.
Reliab. Eng. Syst. Saf.
150 (2016)
Junbeom Yoo
,
Sung Deok Cha
,
Chang Hwoi Kim
,
Duck Yong Song
Synthesis of FBD-based PLC design from NuSCR formal specification.
Reliab. Eng. Syst. Saf.
87 (2) (2005)
Junbeom Yoo
,
Sung Deok Cha
,
Han Seong Son
,
Chang Hwoi Kim
,
Jang-Soo Lee
PLC-Based Safety Critical Software Development for Nuclear Power Plants.
SAFECOMP
(2004)