HI,欢迎来到
学术之家
,发表咨询:400-888-7501 订阅咨询:400-888-7502
股权代码 102064
登录/注册
经营许可
杂志订阅
支付方式
首页
期刊
杂志
SCI
发表
出版社
0
首页
论文大全
计算树逻辑论文
列表
期刊分类
不限
教育
医学
经济
金融
管理
科技
工业
机械
农业
电力
水利
文学
艺术
文化
建筑
图书
档案
交通
体育
环境
政法
煤矿
地质
化工
社会
科学
化学
生物
新闻
历史
航空
理论
电子
政治
石油
计算机
期刊收录
不限
CSSCI 南大期刊
北大期刊
CSCD中国科学引文数据库
统计源期刊
知网收录
维普收录
万方收录
EI工程索引
CA化学文摘
SA科学文摘
SCI科学引文索引
JST 日本科学技术振兴机构数据库(日)
Pж(AJ) 文摘杂志(俄)
哥白尼索引(波兰)
剑桥科学文摘
国际药学文摘
国家图书馆馆藏
上海图书馆馆藏
文摘与引文数据库
文摘杂志
医学文摘
数学文摘
ASPT来源刊
农业与生物科学研究中心文摘
物理学、电技术、计算机及控制信息数据库
出版地区
不限
北京
上海
天津
江苏
浙江
河北
山西
重庆
四川
辽宁
吉林
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
内蒙古
黑龙江
具有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期
《科技与创新》
期刊导航
基础科学
工程科技I
工程科技II
农业科技
医药卫生科技
信息科技
哲学与人文科学
社会科学I
社会科学II
经济与管理科学