 | 2011 |
|---|
| 9 |       | Jin Hyun Kim,
Jin-Young Choi,
Inhye Kang,
Insup Lee:
Generating composite behavior of embedded software components based on UML behavioral model and process algebra.
ACM SIGSOFT Software Engineering Notes 36(1): 1-9 (2011) |
| 2010 |
|---|
| 8 | | Jin Hyun Kim,
Inhye Kang,
Jin-Young Choi,
Insup Lee:
Timed and Resource-oriented Statecharts for Embedded Software.
IEEE Trans. Industrial Informatics 6(4): 568-578 (2010) |
| 7 | | Jin Hyun Kim,
Jin-Young Choi,
Inhye Kang,
Insup Lee:
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture.
J. UCS 16(17): 2415-2434 (2010) |
| 2008 |
|---|
| 6 | | 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 |
|---|
| 5 | | Jin Hyun Kim,
Jin-Young Choi:
Embedded System Modeling Based on Resource-Oriented Model.
ECBS 2007: 203-212 |
| 4 | | Uwe Seifert,
Jin Hyun Kim:
Entelechy and Embodiment in (Artistic) Human-Computer Interaction.
HCI (1) 2007: 929-938 |
| 3 | | 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 | | 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 |
| 2001 |
|---|
| 1 |  | Young-Ho Kim,
Jin Hyun Kim,
Ji-Young Kim,
Jee-In Kim,
Jin-Young Choi,
Chang Woo Pyo:
A visual component based tool for developing embedded application software.
HCI 2001: 180-184 |
Data released under the ODC-BY 1.0 license — See also our legal information page