%0 Journal Article %1 journals/sj/WangGSLLSS19 %A Wang, Rui %A Guan, Yong %A Song, Houbing %A Li, Xinxin %A Li, Xiaojuan %A Shi, Zhiping %A Song, Xiaoyu %D 2019 %J IEEE Syst. J. %K dblp %N 1 %P 1096-1107 %T A Formal Model-Based Design Method for Robotic Systems. %U http://dblp.uni-trier.de/db/journals/sj/sj13.html#WangGSLLSS19 %V 13

@article{journals/sj/WangGSLLSS19, added-at = {2020-09-11T00:00:00.000+0200}, author = {Wang, Rui and Guan, Yong and Song, Houbing and Li, Xinxin and Li, Xiaojuan and Shi, Zhiping and Song, Xiaoyu}, biburl = {https://www.bibsonomy.org/bibtex/2cf98fbfefbf8cd6b06699a6d73339fdf/dblp}, ee = {https://doi.org/10.1109/JSYST.2018.2867285}, interhash = {74b10f26c96b85b50e2e8afc0be82fca}, intrahash = {cf98fbfefbf8cd6b06699a6d73339fdf}, journal = {IEEE Syst. J.}, keywords = {dblp}, number = 1, pages = {1096-1107}, timestamp = {2020-09-12T11:39:22.000+0200}, title = {A Formal Model-Based Design Method for Robotic Systems.}, url = {http://dblp.uni-trier.de/db/journals/sj/sj13.html#WangGSLLSS19}, volume = 13, year = 2019 }