 | 2007 |
|---|
| 5 |       | Woo Jin Lee,
Ho-Jun Kim,
Heung Seok Chae:
Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS.
SEUS 2007: 114-124 |
| 4 | | Ho Kyoung Lee,
Woo Jin Lee,
Heung Seok Chae,
Yong Rae Kwon:
Specification and analysis of timing requirements for real-time systems in the CBD approach.
Real-Time Systems 36(1-2): 135-158 (2007) |
| 2003 |
|---|
| 3 | | Woo Jin Lee:
Modeling and Analysis of Service Interactions in Service-Oriented Software.
ISCIS 2003: 1043-1050 |
| 2000 |
|---|
| 2 |  | Woo Jin Lee,
Sung Deok Cha,
Yong Rae Kwon,
H. N. Kim:
A Slicing-based Approach to Enhance Petri Net Reachability Analysis.
Journal of Research and Practice in Information Technology 32(2): 131-143 (2000) |
| 1998 |
|---|
| 1 | | Woo Jin Lee,
Sung Deok Cha,
Yong Rae Kwon:
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering.
IEEE Trans. Software Eng. 24(12): 1115-1130 (1998) |
