Chang-Jin Kim

Publication Activity (10 Years)

Years Active: 2006-2007
Publications (10 Years): 0

Publications

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)
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)