From Off-line Towards Real-time Verification for Robot Systems
Wang, Rui, Wei, Yingxia, Song, Houbing, Jiang, Yu, Guan, Yong, Song, Xiaoyu, Li, XiaojuanYear:
2018
Language:
english
Journal:
IEEE Transactions on Industrial Informatics
DOI:
10.1109/TII.2017.2788901
File:
PDF, 1.60 MB
english, 2018