Digital Library[ Search Result ]


Search : "[ author: Do Hyun Sook ]" (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
A Design and Analysis, Simulation of Intelligent Network Application Protocol
Do Hyun Sook
Vol. 4, No. 6, pp. 1576-1588, Jun. 1997
10.3745/KIPSTE.1997.4.6.1576