 | 2010 |
|---|
| 6 |       | Tai Hyo Kim,
Hojung Bang,
Sung Deok Cha:
A systematic representation of path constraints for implicit path enumeration technique.
Softw. Test., Verif. Reliab. 20(1): 39-61 (2010) |
| 2009 |
|---|
| 5 | | 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 Transactions 92-D(1): 24-31 (2009) |
| 2007 |
|---|
| 4 | | Hojung Bang,
Tai Hyo Kim,
Sung Deok Cha:
An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation.
ISORC 2007: 365-372 |
| 2006 |
|---|
| 3 | | Tai Hyo Kim,
Sung Deok Cha:
Timed High-Level Message Sequence Charts for Real-Time System Design.
SAM 2006: 82-98 |
| 2005 |
|---|
| 2 | | 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.
Journal of Systems and Software 74(1): 73-83 (2005) |
| 2002 |
|---|
| 1 | | 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: 369-376 |
Data released under the ODC-BY 1.0 license — See also our legal information page