 | 2011 |
|---|
| 7 |       | Xiaoqing Jin,
Gianfranco Ciardo,
Tae-Hyong Kim,
Yang Zhao:
Symbolic Verification and Test Generation for a Network of Communicating FSMs.
ATVA 2011: 432-442 |
| 2007 |
|---|
| 6 | | Tae-Hyong Kim,
Qi-Ping Yang,
Soon-Gi Park,
Yeun-Seung Shin:
SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems.
SDL Forum 2007: 272-288 |
| 5 | | Tae-Hyong Kim,
Qi-Ping Yang,
Jae-Hyoung Lee,
Soon-Gi Park,
Yeon-Seung Shin:
A Mobility Management Technique with Simple Handover Prediction for 3G LTE Systems.
VTC Fall 2007: 259-263 |
| 2006 |
|---|
| 4 | | Tae-Hyong Kim,
Jae-Woo Kim,
Qi-Ping Yang,
Jae-Hyoung Lee,
Soon-Gi Park,
Yeun-Seung Shin:
SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches.
SAM 2006: 166-182 |
| 2003 |
|---|
| 3 | | Alan W. Williams,
Robert L. Probert,
Qing Li,
Tae-Hyong Kim:
The Winning Entry of the SAM 2002 Design Contest: .
SDL Forum 2003: 387-404 |
| 2002 |
|---|
| 2 | | Tae-Hyong Kim,
Robert L. Probert,
Igor Sales,
Alan W. Williams:
Rapid Development of Network Software via SDL/Socket Interfaces.
SAM 2002: 103-123 |
| 1998 |
|---|
| 1 |  | Tae-Hyong Kim,
Ik-Soon Hwang,
Chan-Min Park,
Jai-Yong Lee,
Sang-Bae Lee:
Automatic Test Case Generation of Real Protocols: Framework and Methodology.
FORTE 1998: 127-140 |
Data released under the ODC-BY 1.0 license — See also our legal information page