吉林大学学报（理学版）2007，Vol.45Issue(6)：948-952,5.
基于模型检测的实时模型诊断方法
Realtime Model-based Diagnostic Method Based on Model Checking
摘要
关键词
模型诊断/可诊断性/有界模型检测/符号模型检测分类
信息技术与安全科学引用本文复制引用
廉智超,欧阳丹彤..基于模型检测的实时模型诊断方法[J].吉林大学学报（理学版）,2007,45(6):948-952,5.基金项目
国家自然科学基金重大项目基金(批准号:60496320 （）
60496321)、国家高技术研究发展计划项目基金(批准号:2003AA118020)、新世纪优秀人才支持计划项目基金和吉林省科技发展计划项目基金(批准号:20060532). （批准号:2003AA118020）
