| |
| 2004 | ||
|---|---|---|
| 1 | EE | 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 |
| 1 | Young Ah Ahn | [1] |
| 2 | Jin-Young Choi | [1] |
| 3 | Jin Hyun Kim | [1] |
| 4 | Na-Young Lee | [1] |
| 5 | Jae-Hwan Sim | [1] |
| 6 | Jin Seok Yang | [1] |