Dynamic Reliability Evaluation Approach for Electromechanical Systems Based on Probabilistic Model Checking
HOU Yi1;YANG Peilin1;XU Kai1;LIU Qing2;FAN Juanni2
China Mechanical Engineering . 2019, (05): 549 -553 .