桂林电子科技大学学报2020，Vol.40Issue(5)：394-399,6.
模糊计算树逻辑的模型检测修复算法
The repair algorithm of model checking fuzzy computation tree logic
摘要
关键词
模糊逻辑/模型检测/计算树逻辑/模型修复分类
信息技术与安全科学引用本文复制引用
毛兆东,钱俊彦,蔡泳..模糊计算树逻辑的模型检测修复算法[J].桂林电子科技大学学报,2020,40(5):394-399,6.基金项目
国家自然科学基金(61672023) （61672023）
广西自然科学基金(2018GXNSFAA281326) （2018GXNSFAA281326）
广西可信软件重点实验室基金(kx201911) （kx201911）
