Jae-Hwan Sim

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Yerang Hur, Jae-Hwan Sim, Jesung Kim, Jin-Young Choi
Ensuring Sound Numerical Simulation of Hybrid Automata. J. Comput. Sci. Eng. 3 (2) (2009)
Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi
Resource-Oriented Design Framework for Embedded System Components. Electron. Notes Theor. Comput. Sci. 215 (2008)
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)
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)
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)