Digital Library


Search: "[ author: Yu Hyun ]" (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

    A VANET Routing Protocol based on the Road Vehicle Density Information in the City Environment
    Yu Hyun , Sanghvun Ahn KIPS Transactions on Computer and Communication Systems, Vol. 2, No. 6, pp. 253-256, Jun. 2013
    10.3745/KTCCS.2013.2.6.253