|
Search the dblp DataBase
Young-Si Kim:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hanêne Ben-Abdallah, Insup Lee, Young-Si Kim
Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements. [Citation Graph (0, 0)][DBLP] RE, 1997, pp:198-209 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1995, v:38, n:10, pp:75-87 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 1998, v:15, n:3, pp:189-219 [Journal]
- Inhye Kang, Insup Lee, Young-Si Kim
An Efficient State Space Generation for the Analysis of Real-Time Systems. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2000, v:26, n:5, pp:453-477 [Journal]
Search in 0.002secs, Finished in 0.002secs
|