Digital Library[ Search Result ]


Search : "[ author: Kim Sang Ki ]" (3)
A Study On Still Image Codig With the TMS320C80
Kim Sang Ki  Chung Chin Hyun
Vol. 6, No. 4, pp. 1106-1111, Apr. 1999
10.3745/KIPSTE.1999.6.4.1106
AIN Protocol Conformance Test Suite Generation Using Formal Methods
Do Hyun Sook  Bae Seong Yong  Kim Sang Ki
Vol. 5, No. 3, pp. 741-750, Mar. 1998
10.3745/KIPSTE.1998.5.3.741
A Formal Method on Conformance Testing for AIN Protocol Test Generation
Kim Sang Ki  Kim Sung Un  Chung Jae Yoon
Vol. 4, No. 2, pp. 552-562, Feb. 1997
10.3745/KIPSTE.1997.4.2.552