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

Hyun Seop Bae Vis

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

*2000
4EEHyun Seop Bae, In Sang Chung, Yong Rae Kwon: Specifying and verifying real-time systems with timing uncertainty. Journal of Systems and Software 50(1): 85-96 (2000)
1999
3EEIn Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Dong Gil Lee: Testing of Concurrent Programs After Specification Changes. ICSM 1999: 199-
2EEIn Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee: Testing of Concurrent Programs Based on Message Sequence Charts. PDSE 1999: 72-82
1995
1EEHyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim: An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information. APSEC 1995: 96-

Coauthor Index

1In Sang Chung [2] [3] [4]
2Hyeon Soo Kim [1] [2] [3]
3Yong Rae Kwon [1] [2] [3] [4]
4Byung-Sun Lee [2]
5Dong Gil Lee [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)