HI,欢迎来到
学术之家
,发表咨询:400-888-7501 订阅咨询:400-888-7502
股权代码 102064
登录/注册
经营许可
杂志订阅
支付方式
首页
期刊
杂志
SCI
发表
出版社
0
首页
论文大全
模型检测论文
列表
期刊分类
不限
教育
医学
经济
金融
管理
科技
工业
机械
农业
电力
水利
文学
艺术
文化
建筑
图书
档案
交通
体育
环境
政法
煤矿
地质
化工
社会
科学
化学
生物
新闻
历史
航空
理论
电子
政治
石油
计算机
期刊收录
不限
CSSCI 南大期刊
北大期刊
CSCD中国科学引文数据库
统计源期刊
知网收录
维普收录
万方收录
EI工程索引
CA化学文摘
SA科学文摘
SCI科学引文索引
JST 日本科学技术振兴机构数据库(日)
Pж(AJ) 文摘杂志(俄)
哥白尼索引(波兰)
剑桥科学文摘
国际药学文摘
国家图书馆馆藏
上海图书馆馆藏
文摘与引文数据库
文摘杂志
医学文摘
数学文摘
ASPT来源刊
农业与生物科学研究中心文摘
物理学、电技术、计算机及控制信息数据库
出版地区
不限
北京
上海
天津
江苏
浙江
河北
山西
重庆
四川
辽宁
吉林
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
内蒙古
黑龙江
实时
模型检测
精确加速窗口的计算原理及算法
第214-226页
关键词: 模型检测 时间自动机 精确加速 可加速环 窗口
2020年第01期
《计算机研究与发展》
基于PAT的使用控制模型的形式化规约与安全性分析
第52-67页
关键词: ucon 形式化规约 安全性分析 模型检测
2016年第03期
《网络与信息安全学报》
BIM技术在桥梁工程设计阶段的应用
第63-64页
关键词: 桥梁工程 优化设计 bim建模 模型检测 工程量验算
2018年第04期
《智能建筑与智慧城市》
基于智能合约的以太币投票协议
第3486-3502页
关键词: 以太坊 智能合约 投票协议 模型检测
2019年第11期
《软件学报》
探讨
模型检测
和评定在动态虚拟生物建模中的应用
第27-27页
关键词: 计算机图形学 模型检测 生命特征 人工生命 虚拟生物 大众用户 生物建模 整体需求
2019年第20期
《中学生物教学》
具有DP的广义可能性模糊时态CTL
模型检测
第1781-1792页
关键词: 模糊时态 决策过程 广义可能性测度 计算树逻辑 模型检测
2019年第10期
《计算机科学与探索》
基于DNA计算的计算树逻辑
模型检测
方法研究进展
第25-31页
关键词: 模型检测 计算树逻辑 dna分子 分子计算
2019年第11期
《计算机科学》
结合关注事件的时间自动机语言包含
模型检测
第2578-2584页
关键词: 时间自动机 语言包含 模型检测 属性模式
2019年第12期
《小型微型计算机系统》
基于前推的密码协议形式化分析方法
第462-468页
关键词: 密码协议 形式化分析 定理证明 模型检测 前推
2017年第05期
《信息安全研究》
一种基于Ontology的WEB服务时间约束定义及验证方法
第158-164页
关键词: 时间本体 petri网本体 时间约束petri网 模型检测
2009年第06期
《工程科学与技术》
基于决策过程的广义可能性计算树逻辑
模型检测
第1591-1607页
关键词: 非确定性系统 广义可能性决策过程 调度 广义可能性计算树逻辑 模型检测
2016年第11期
混成自动机技术一览
第69-75页
关键词: 自动机理论 混成系统 设备控制系统 动态行为 状态空间 模型检测 自动机模型 互模拟 形式化定义 动
2015年第01期
《中国电子教育》
SPIN在无线网络安全认证协议建模中的应用
第169-170页
关键词: 模型检测 认证协议 协议验证 可扩展认证协议 传输层安全
2013年第01期
《煤炭技术》
三方密码协议运行模式分析法
第380-385页
关键词: 密码协议 形式化分析 模型检测 运行模式分析法
2004年第03期
《中国科学院大学学报》
广义可能性计算树逻辑的
模型检测
问题
第2641-2648页
关键词: 可能性理论 计算树逻辑 模型检测 时间复杂性 规约
2017年第11期
《电子学报》
不确定型模糊Kripke结构的计算树逻辑
模型检测
第152-159页
关键词: 模型检测 计算树逻辑 模糊逻辑 kripke结构 时态逻辑
2018年第01期
《电子学报》
以神经网络精细特征选择的内窥镜图像用于幽门螺杆菌感染及其相关胃炎的计算机化诊断
第21-22页
关键词: 内窥镜图像 特征选择 神经网络 组织学特征 上消化道内镜 组织学检查 参数预测 活检术 模型检测 特异度
2005年第01期
《世界核心医学期刊文摘·妇产科学分册》
区块链技术在化学工业数据交换中的应用
第27-33页
关键词: cidx 区块链 智能合约 模型检测
2018年第08期
《嘉应学院学报》
计算技术与计算机及网络设备
第68-112页
关键词: 计算机科学 计算机应用 模型检测 微处理器 管理系统 网格服务 设计原理 消息中间件 计算技术 工作流系统
2005年第02期
《电子科技文摘》
基于扩展标记变迁模型的时钟同步协议正确性验证
第42-49页
关键词: 形式化方法 协议验证 模型检测
2019年第03期
《国防科技大学学报》
期刊导航
基础科学
工程科技I
工程科技II
农业科技
医药卫生科技
信息科技
哲学与人文科学
社会科学I
社会科学II
经济与管理科学