分布式离散事件系统的安全可诊断性算法
欧阳丹彤, 罗知雨, 耿雪娜, 张立明
Algorithm of Safe Diagnosability for Distributed Discrete Event Systems
OUYANG Dantong, LUO Zhiyu, GENG Xuena, ZHANG Liming
吉林大学学报(理学版) . 2018, (3): 594 -600 .