Analysis and formal modeling of puncturing robot’s sports safety
SUN Haoran1,2, SHI Zhiping1,2,3, GUAN Yong1,3, WANG Rui2,3
Computer Engineering and Applications . 2018, (18): 263 -270 .  DOI: 10.3778/j.issn.1002-8331.1705-0343