Digital Library


Search: "[ author: An Do Ki ]" (2)
    Formal Verification of RACE Protocol Using VIS
    Hyun Sun Um, Jin Young Choi, Woo Jong Han, An Do Ki, Kyu Hyun Shim KIPS Transactions on Computer and Communication Systems, Vol. 7, No. 7, pp. 2219-2228, Jul. 2000
    10.3745/KIPSTE.2000.7.7.2219

    Circuit Design of Parallel Power Operation Equipment for Peak Power Reduction
    Jae Soo Yang , Dong Han Kim , Man Do Kim KIPS Transactions on Computer and Communication Systems, Vol. 3, No. 9, pp. 273-278, Sep. 2014
    10.3745/KTCCS.2014.3.9.273