基于模型检测的机电系统FMEA研究<sup>*</sup>

基于模型检测的机电系统FMEA研究^*

杨培林, 徐凯, 薛冲冲, 贾焕如

Study on FMEA for Electromechanical Systems Based on Model Checking

YANG Peilin, XU Kai, XUE Chongchong, JIA Huanru

机械工程学报 . 2016, (16): 162 -168 . DOI: 10.3901/JME.2016.16.162