Login / Signup
Tai Hyo Kim
Publication Activity (10 Years)
Years Active: 2002-2010
Publications (10 Years): 0
</>
Publications
</>
Tai Hyo Kim
,
Hojung Bang
,
Sung Deok Cha
A systematic representation of path constraints for implicit path enumeration technique.
Softw. Test. Verification Reliab.
20 (1) (2010)
Jong-In Lee
,
Hojung Bang
,
Tai Hyo Kim
,
Sung Deok Cha
Visualization and Formalization of User Constraints for Tight Estimation of Worst-Case Execution Time.
IEICE Trans. Inf. Syst.
(1) (2009)
Hojung Bang
,
Tai Hyo Kim
,
Sung Deok Cha
An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation.
ISORC
(2007)
Tai Hyo Kim
,
Sung Deok Cha
Timed High-Level Message Sequence Charts for Real-Time System Design.
SAM
(2006)
Junbeom Yoo
,
Tai Hyo Kim
,
Sung Deok Cha
,
Jang-Soo Lee
,
Han Seong Son
A formal software requirements specification method for digital nuclear plant protection systems.
J. Syst. Softw.
74 (1) (2005)
Nam Hee Lee
,
Tai Hyo Kim
,
Sung Deok Cha
Construction of global finite state machine for testing task interactions written in message sequence charts.
SEKE
(2002)