郑州大学学报（理学版）2023，Vol.55Issue(1)：77-83,7.DOI:10.13705/j.issn.1671-6841.2021309
模糊Kripke结构的子模型修复算法
The Sub-model Repair Algorithm of Fuzzy Kripke Structures
摘要
关键词
模型检测/计算树逻辑/模糊逻辑/模型修复分类
信息技术与安全科学引用本文复制引用
王辉,石铁柱,钱俊彦,潘海玉..模糊Kripke结构的子模型修复算法[J].郑州大学学报（理学版）,2023,55(1):77-83,7.基金项目
国家自然科学基金项目(62162014) （62162014）
广西自然科学基金项目(2018GXNSFAA281326) （2018GXNSFAA281326）
广西可信软件重点实验室项目(kx201911). （kx201911）
