Youngdong Kim, Ikhwan Kim, Inhye Kang, Taehyoun Kim, Minyoung Sung. Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems. J. UCS, 20(14):1903-1925, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.