Y. Kim, I. Kim, I. Kang, T. Kim, M. Sung:
Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems
/jucs_20_14/formal_modeling_and_verification

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
/jucs_16_17/uml_behavior_models_of

page 2415 - 2434
Vol.16 / Issue 17