Personal information

Websites & social links

About me

Keywords

Software Engineering, Formal Verification, Software Safety, System Safety Analysis

Countries

South Korea

Activities

Collapse all

Works (2)

Probabilistic SIL Verification of a Synthesized Fault-Tolerant Model for Reliable Safety Assessment

IEEE Access
2025 | Journal article
DOI: 10.1109/ACCESS.2025.3543227
Contributors: Daehui Jeong; Gihwon Kwon; Ryeonggu Kwon
Source: check_circle
Crossref

Hybrid Hazard Analysis for Improving Safety of Railway System

The Journal of Korean Institute of Information Technology
2018-11-30 | Journal article
DOI: 10.14801/jkiit.2018.16.11.133
Contributors: Daehui Jeong; Gihwon Kwon
Source: check_circle
Crossref
How many people are using ORCID?