 | 2000 |
|---|
| 4 |       | Inhye Kang,
Insup Lee,
Young-Si Kim:
An Efficient State Space Generation for the Analysis of Real-Time Systems.
IEEE Trans. Software Eng. 26(5): 453-477 (2000) |
| 1998 |
|---|
| 3 |  | Hanêne Ben-Abdallah,
Jin-Young Choi,
Duncan Clarke,
Young-Si Kim,
Insup Lee,
Hong-liang Xie:
A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems.
Real-Time Systems 15(3): 189-219 (1998) |
| 1997 |
|---|
| 2 | | Hanêne Ben-Abdallah,
Insup Lee,
Young-Si Kim:
Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements.
RE 1997: 198-209 |
| 1995 |
|---|
| 1 | | David Chenho Kung,
Jerry Gao,
Pei Hsia,
Yasufumi Toyoshima,
Chris Chen,
Young-Si Kim,
Young-Kee Song:
Developing an Object-Oriented Software Testing and Maintenance Environment.
Commun. ACM 38(10): 75-87 (1995) |
