Showing results 3 to 4 of 4
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 |
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