Tai-Hyo Kim

Publication Activity (10 Years)

Years Active: 2012-2013
Publications (10 Years): 0

Top Topics

Formal Specification

Top Venues

Haifa Verification Conference

Publications

Young Joo Kim, Okjoo Choi, Moonzoo Kim, Jongmoon Baik, Tai-Hyo Kim
Validating Software Reliability Early through Statistical Model Checking. IEEE Softw. 30 (3) (2013)
Young Joo Kim, Moonzoo Kim, Tai-Hyo Kim
Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation. Haifa Verification Conference (2012)