DSpace at KOASAS
Browsing DSpace

Browse "College of Engineering(공과대학)" by Author i. s. chung

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 4 of 4

1
A Semantics-Based Method for Revalidating Modified Programs

i. s. chung; Kwon, Yong Rae, JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, v.6, no.1, pp.15 - 34, 1993-12

2
Complexity Measures for Concurrent Programs Based on Information-Theoretic Metrics

s. cha; i. s. chung; Kwon, Yong Rae, INFORMATION PROCESSING LETTERS, v.46, no.1, pp.43 - 50, 1993-04

3
Specification-Based Program Slicing and Its Application

w. k. lee; i. s. chung; g. s. yoon; Kwon, Yong Rae, JOURNAL OF SYSTEMS ARCHITECTURE, v.47, no.5, pp.427 - 443, 2001-05

4
Specifying and Verifying Real-Time Systems with Timing Uncertainty

h. s. bae; i. s. chung; Kwon, Yong Rae, JOURNAL OF SYSTEMS AND SOFTWARE, v.50, no.1, pp.85 - 96, 2000-01

Discover

rss_1.0 rss_2.0 atom_1.0