| |
| 2007 | ||
|---|---|---|
| 2 | EE | Jin Hyun Kim, Jae-Hwan Sim, Chang Jin Kim, Jin-Young Choi: Formal Embedded Operating System Model Based on Resource-Based Design Framework. QSIC 2007: 244-249 |
| 2006 | ||
| 1 | Chang Jin Kim, Jin-Young Choi: Transformation of the Ravenscar Profile Based Ada Real-time Application to the Verification-ready Statecharts: Reverse Engineering and Statemate approach. Software Engineering Research and Practice 2006: 405-414 | |
| 1 | Jin-Young Choi | [1] [2] |
| 2 | Jin Hyun Kim | [2] |
| 3 | Jae-Hwan Sim | [2] |