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

Taehyoun Kim
University of Seoul, Korea

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