|
Search the dblp DataBase
Woo Jin Lee:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Woo Jin Lee
Modeling and Analysis of Service Interactions in Service-Oriented Software. [Citation Graph (0, 0)][DBLP] ISCIS, 2003, pp:1043-1050 [Conf]
- Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon, H. N. Kim
A Slicing-based Approach to Enhance Petri Net Reachability Analysis. [Citation Graph (0, 0)][DBLP] Journal of Research and Practice in Information Technology, 2000, v:32, n:2, pp:131-143 [Journal]
- Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1998, v:24, n:12, pp:1115-1130 [Journal]
- Woo Jin Lee, Ho-Jun Kim, Heung Seok Chae
Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS. [Citation Graph (0, 0)][DBLP] SEUS, 2007, pp:114-124 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 2007, v:36, n:1-2, pp:135-158 [Journal]
Search in 0.001secs, Finished in 0.001secs
|