Digital Library[ Search Result ]
Search : "[ author: Kim Sang Ki ]" (3)
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
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
Vol. 4, No. 2, pp. 552-562, Feb. 1997
10.3745/KIPSTE.1997.4.2.552