Digital Library[ Search Result ]
Search : "[ author: Bae Seong Yong ]" (1)
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