信息与控制2010，Vol.39Issue(4)：423-429,7.DOI:10.3724/SP.J.1219.2010.00423
基于符号模型检测的符号有向图故障诊断解形式化验证
Formal Verification for the Solution of Signed Directed Graph Fault Diagnosis via Symbolic Model Checking
摘要
关键词
SDG模型/符号模型检测/动态验证信息/动态验证策略分类
信息技术与安全科学引用本文复制引用
宁宁,张骏,高向阳..基于符号模型检测的符号有向图故障诊断解形式化验证[J].信息与控制,2010,39(4):423-429,7.基金项目
国家自然科学基金资助项目(60805038 （）
60725309) （）
国家863计划资助项目(2006AA04Z258). （2006AA04Z258）
