计算机应用研究2021，Vol.38Issue(8)：2381-2385,5.DOI:10.19734/j.issn.1001-3695.2020.12.0405
模糊计算树逻辑的符号模型检测
Symbolic model checking of fuzzy computation tree logic
摘要
关键词
模糊计算树逻辑/不动点算法/多终端二叉决策图/符号模型检测分类
信息技术与安全科学引用本文复制引用
聂朋展,姜久雷,马占有..模糊计算树逻辑的符号模型检测[J].计算机应用研究,2021,38(8):2381-2385,5.基金项目
国家自然科学基金资助项目(61762002,61962001) （61762002,61962001）
宁夏自然科学基金资助项目(2018AAC03127) （2018AAC03127）
北方民族大学研究生创新项目(YCX20068) （YCX20068）
