Na-Young Lee (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2

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

Selection of 1 from 9 records - Na-Young Lee has 13 coauthors