| 2008 |
|---|
| 4 | EE | Jin Hyun Kim,
Jae-Hwan Sim,
Jin-Young Choi:
Resource-Oriented Design Framework for Embedded System Components.
Electr. Notes Theor. Comput. Sci. 215: 171-189 (2008) |
| 2007 |
|---|
| 3 | 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 |
| 2004 |
|---|
| 2 | 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 |
| 2003 |
|---|
| 1 | EE | Chol-U Lee,
Gi-Young Byun,
Bu-Sik Shin,
Jae-Hwan Sim,
Heung-Soo Kim:
The Generation Circulation Method to Generalized Reed-Muller Coefficients over GF(3).
ISMVL 2003: 46-49 |
