基于符号模型检测的SDG模型可诊断性验证
宁宁, 张骏, 高向阳, 薛静
Formal verification of SDG diagnosability via symbolic model checking
NING Ning, ZHANG Jun, GAO Xiang-yang, XUE Jing
Journal of Systems Engineering and Electronics
.
2011, (2): 390
-394
.
DOI: 10.3969/j.issn.1001-506X.2011.02.32
