Browse "CS-Journal Papers(저널논문)" by Author i. s. chung
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
Open Access
- 187 OA Article