Login / Signup
Hyung Ho Kim
Publication Activity (10 Years)
Years Active: 2001-2023
Publications (10 Years): 1
Top Topics
Fault Tree Analysis
Software Tools
Fuzzy Numbers
Top Venues
APSEC
</>
Publications
</>
Hyung Ho Kim
Scalable Fault Tree Analysis for Functional Safety Software.
APSEC
(2023)
Hyung Ho Kim
,
Doo-Hwan Bae
Object-oriented concept analysis for software modularisation.
IET Softw.
2 (2) (2008)
Seung Mo Cho
,
Hyung Ho Kim
,
Sung Deok Cha
,
Doo-Hwan Bae
Specification and validation of dynamic systems using temporal logic.
IEE Proc. Softw.
148 (4) (2001)