CLC Number:
HOU Yi1;YANG Peilin1;XU Kai1;LIU Qing2;FAN Juanni2. Dynamic Reliability Evaluation Approach for Electromechanical Systems Based on Probabilistic Model Checking[J]. China Mechanical Engineering.
侯翌1;杨培林1;徐凯1;刘青2;樊娟妮2. 基于概率模型检测的机电系统动态可靠性评价[J]. 中国机械工程.