计算树逻辑论文

具有DP的广义可能性模糊时态CTL模型检测第1781-1792页

关键词: 模糊时态决策过程广义可能性测度计算树逻辑模型检测

2019年第10期《计算机科学与探索》

基于DNA计算的计算树逻辑模型检测方法研究进展第25-31页

关键词: 模型检测计算树逻辑 dna分子分子计算

2019年第11期《计算机科学》

广义可能性计算树逻辑的模型检测问题第2641-2648页

关键词: 可能性理论计算树逻辑模型检测时间复杂性规约

2017年第11期《电子学报》

不确定型模糊Kripke结构的计算树逻辑模型检测第152-159页

关键词: 模型检测计算树逻辑模糊逻辑 kripke结构时态逻辑

2018年第01期《电子学报》

模糊交互时态逻辑的一些标记第2033-2040页

关键词: 交互时态逻辑计算树逻辑并发博弈结构模型检测模糊逻辑

2018年第12期《计算机科学与探索》

模糊交互时态逻辑的模型检测第2290-2296页

关键词: 交互时态逻辑计算树逻辑并发博弈结构模型检测模糊逻辑

2017年第12期《计算机工程与科学》

一种形式化组合式建模方法的研究第106-109页

关键词: 体系结构分析设计语言构件式系统计算树逻辑 z语言模型检测

2017年第11期《计算机技术与发展》

广义可能性计算树逻辑和计算树逻辑的关系第1681-1688页

关键词: 计算树逻辑广义可能性计算树逻辑区间广义可能性计算树逻辑表达能力

2017年第10期《计算机科学与探索》

基于计算树逻辑的LSB替换隐写软件检测第66-72页

关键词: 隐写软件 lsb替换计算树逻辑模型检测

2017年第01期《信息工程大学学报》

不确定型多值Kripke结构的模型检测第60-70页

关键词: 多值模型检验计算树逻辑模糊自动机 de morgan代数

2016年第05期《模糊系统与数学》

模糊计算树逻辑的基本性质第21-24页

关键词: kripke结构形式化验证模糊逻辑计算树逻辑

2016年第12期《内江师范学院学报》

广义可能性计算树逻辑的两种范式*第1475-1481页

关键词: 广义可能性测度计算树逻辑范式模型检测

2016年第10期《计算机科学与探索》

一种新型Agent结构模型研究第15-20页

关键词: agent 激励 bdi 计算树逻辑

2007年第01期《自动化学报》

模拟与混合信号电路的形式化验证第34-38页

关键词: 形式化验证模拟与混合信号电路混杂系统基尔霍夫电流定律计算树逻辑

2016年第08期《计算机工程》

具有过去时态算子的计算树逻辑模型检测第98-100页

关键词: 计算树逻辑模型检测二叉判定图

2007年第22期《计算机工程》

基于模型检测的信息流策略安全性分析第2429-2432页

关键词: 策略安全性分析分布式信息流控制模型检测计算树逻辑 kripke结构

2016年第08期《计算机应用研究》

Avalon片上总线协议的形式化建模与模型检验分析第96-100页

关键词: 片上总线 avalon总线协议有限状态机计算树逻辑模型检验

2009年第02期《桂林电子科技大学学报》

Moore机表示的系统迭代设计动态CTL模型检验的不变性研究第669-677页

关键词: 计算树逻辑动态模型检验不变性迭代设计 moore机

2009年第05期《电子科技大学学报》

计算树逻辑特性模式研究第68-70页

关键词: 计算树逻辑特性模式模型检查

2009年第23期《计算机工程》

AHB片上系统总线的建模与验证第152-154页

关键词: ahb 有限状态机计算树逻辑符号模型检验

2008年第23期《科技与创新》