%0 Journal Article %1 journals/jucs/KimKKKS14 %A Kim, Youngdong %A Kim, Ikhwan %A Kang, Inhye %A Kim, Taehyoun %A Sung, Minyoung %D 2014 %J J. Univers. Comput. Sci. %K dblp %N 14 %P 1903-1925 %T Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems. %U http://dblp.uni-trier.de/db/journals/jucs/jucs20.html#KimKKKS14 %V 20

@article{journals/jucs/KimKKKS14, added-at = {2021-02-17T00:00:00.000+0100}, author = {Kim, Youngdong and Kim, Ikhwan and Kang, Inhye and Kim, Taehyoun and Sung, Minyoung}, biburl = {https://www.bibsonomy.org/bibtex/2d20aaab85206a1071f108900ff5c2e91/dblp}, ee = {https://doi.org/10.3217/jucs-020-14-1903}, interhash = {0708dcbd74df1c45d4f7c7f144b7229e}, intrahash = {d20aaab85206a1071f108900ff5c2e91}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 14, pages = {1903-1925}, timestamp = {2024-04-08T15:58:36.000+0200}, title = {Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs20.html#KimKKKS14}, volume = 20, year = 2014 }