Development of RTOS for PLC Using Formal Methods. - Jin Hyun Kim; Su-Young Lee 001; Young Ah Ahn; Jae-Hwan Sim; Jin Seok Yang; Na-Young Lee; Jin-Young Choi (ATVA, 2004)

FDR verification of ESANP protocol in Ad hoc Network. - Young Ah Ahn; Jin-Young Choi (SNPD, 2004)