Go home now Header Background Image
Submission Procedure
share: |
Follow us

Inhye Kang
University of Seoul, S.Korea

Y. Kim, I. Kim, I. Kang, T. Kim, M. Sung:
Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems
page 1903 - 1925
Vol.20 / Issue 14
J. Kim, J.-Y. Choi, I. Kang, I. Lee:
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
page 2415 - 2434
Vol.16 / Issue 17