Digital Library[ Search Result ]
Search : "[ author: Chul Jin Kim ]" (2)
A Formal Specification of Reusable Framework of Embedded System
Eun Sook Cho Chul Jin Kim Chee Yang Song
Vol. 17, No. 6, pp. 431-442, Dec. 2010
10.3745/KIPSTD.2010.17.6.431
Vol. 17, No. 6, pp. 431-442, Dec. 2010
10.3745/KIPSTD.2010.17.6.431