Digital Library


Search: "[ author: Ryoung Kwo Kwon ]" (1)
    Decentralized LTL Specifications for Ensuring Quality of Interaction-centralized System
    Ryoung Kwo Kwon , Gi Hwon Kwon KIPS Transactions on Software and Data Engineering, Vol. 3, No. 5, pp. 169-178, May. 2014
    10.3745/KTSDE.2014.3.5.169