信息与控制  2010, Vol. 39 Issue (4): 423-429    DOI:
  论文与报告 本期目录 | 过刊浏览 | 高级检索 |
基于符号模型检测的符号有向图故障诊断解形式化验证
宁宁, 张骏, 高向阳
西北工业大学自动化学院,陕西,西安,710072
Formal Verification for the Solution of Signed Directed Graph Fault Diagnosis
NING Ning, ZHANG Jun, GAO Xiangyang
College of Automation, Northwestern Polytechnical University, Xi'an 710072, China
版权所有 © 2016 中国科学院沈阳自动化研究所
地址: 沈阳市南塔街114号 (110016)   联系电话: 024-23970049   E-mail: xk@sia.cn
本系由北京玛格泰克科技发展有限公司设计开发