A Formal Model-Based Design Method for Robotic Systems
- 期刊名称IEEE Systems Journal
- 作者Wang, Rui; Guan, Yong; Song, Houbing; Li, Xinxin; Li, Xiaojuan; Shi, Zhiping; Song, Xiaoyu
- 印刷ISSN1932-8184
- 电子ISSN1937-9234
- 文件大小3107.96KB
- 发表时间2018
- DOI10.1109/JSYST.2018.2867285
- 页码1-12