APROV: Another Program Verifier for Embedded Linux Device Drivers
Oukseh Lee, Seung-Cheol Jung, Hyo-Cheon Ahn, Taeho Kim
Published in 2008 10th International Conference on Advanced Communication Technology (01.02.2008)
Published in 2008 10th International Conference on Advanced Communication Technology (01.02.2008)
Get full text
Conference Proceeding
HYBRID HOSTING SOLUTION SERVICE SYSTEM
SONG, SEOK IL, GU, BONG EUN, JOO, SANG IL, NOH, TAE HO, AHN, HYO CHEON, KWAK, YUN SIK, KIM, BYOUNG JU, LEE, KYU SUN, BANG, SANG SUN
Year of Publication 27.02.2008
Get full text
Year of Publication 27.02.2008
Patent