dblp.uni-trier.dewww.uni-trier.de

Young-Si Kim

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2000
4EEInhye 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
2EEHanê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)

Coauthor Index

1Hanêne Ben-Abdallah [2] [3]
2Chris Chen [1]
3Jin-Young Choi [3]
4Duncan Clarke [3]
5Jerry Zeyu Gao (Jerry Z. Gao, Jerry Gao) [1]
6Pei Hsia [1]
7Inhye Kang [4]
8David Chenho Kung (Chenho Kung) [1]
9Insup Lee [2] [3] [4]
10Young-Kee Song [1]
11Yasufumi Toyoshima [1]
12Hong-liang Xie [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)