Formal modeling and verification of motor drive software for networked motion control systems
- Youngdong Kim
- , Ikhwan Kim
- , Inhye Kang
- , Taehyoun Kim
- , Minyoung Sung
- University of Seoul
Research output: Contribution to journal › Article › peer-review
2
Scopus
citations