Hyung Ho Kim

According to our database¹, Hyung Ho Kim authored at least 3 papers between 2001 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Scalable Fault Tree Analysis for Functional Safety Software.

[BibT_eX]

[DOI]

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2008

Object-oriented concept analysis for software modularisation.

[BibT_eX]

[DOI]

IET Softw., 2008

2001

Specification and validation of dynamic systems using temporal logic.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2001