HI,欢迎来到
学术之家
,发表咨询:400-888-7501 订阅咨询:400-888-7502
股权代码 102064
登录/注册
经营许可
杂志订阅
支付方式
首页
期刊
杂志
SCI
发表
出版社
0
首页
论文大全
运行时验证论文
列表
期刊分类
不限
教育
医学
经济
金融
管理
科技
工业
机械
农业
电力
水利
文学
艺术
文化
建筑
图书
档案
交通
体育
环境
政法
煤矿
地质
化工
社会
科学
化学
生物
新闻
历史
航空
理论
电子
政治
石油
计算机
期刊收录
不限
CSSCI 南大期刊
北大期刊
CSCD中国科学引文数据库
统计源期刊
知网收录
维普收录
万方收录
EI工程索引
CA化学文摘
SA科学文摘
SCI科学引文索引
JST 日本科学技术振兴机构数据库(日)
Pж(AJ) 文摘杂志(俄)
哥白尼索引(波兰)
剑桥科学文摘
国际药学文摘
国家图书馆馆藏
上海图书馆馆藏
文摘与引文数据库
文摘杂志
医学文摘
数学文摘
ASPT来源刊
农业与生物科学研究中心文摘
物理学、电技术、计算机及控制信息数据库
出版地区
不限
北京
上海
天津
江苏
浙江
河北
山西
重庆
四川
辽宁
吉林
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
内蒙古
黑龙江
基于Büchi自动机化简的JavaMOP监控器构造方法
第374-378页
关键词: 运行时验证 javamop 监控器 线性时态逻辑 buchi自动机
2019年第05期
《桂林电子科技大学学报》
基于隐马尔科夫模型的随机系统运行时安全性验证
第198-204页
关键词: 随机系统 安全性 运行时验证 隐马尔科夫模型
2018年第06期
《工程科学与技术》
状态不可观测的信息物理融合系统
运行时验证
第2824-2831页
关键词: 信息物理融合系统 运行时验证 隐马尔科夫模型 确定性有限自动机 安全性 反例
2018年第12期
《电子学报》
面向多线程程序的内存安全
运行时验证
第102-107页
关键词: 多线程 多核 无锁数据结构 运行时验证 源代码插桩 编程语言
2019年第02期
《计算技术与自动化》
基于
运行时验证
的无人飞行系统安全威胁检测方法
第1360-1378页
关键词: 无人飞行系统 安全威胁检测 运行时验证
2018年第05期
《软件学报》
面向实时数据的CPS一体化建模方法
第1966-1979页
关键词: 运行时验证 实时性 cps 环境建模 安全性
2019年第07期
《软件学报》
普适计算应用时空性质的
运行时验证
第1622-1634页
关键词: 普适计算 三值语义 运行时验证
2018年第06期
《软件学报》
基于多线程监控器的
运行时验证
第29-34页
关键词: 运行时验证 多线程 源代码插桩 编程语言
2019年第02期
《计算机技术与发展》
基于多核CPU的
运行时验证
技术的研究与实现
第23-27页
关键词: 运行时验证 并行计算 多核cpu 软件测试
2018年第11期
《电子设计工程》
软件
运行时验证
加速中的多目标约束模型研究
第80-83页
关键词: 运行时验证 多目标约束 监控器 监控开销 运行时监控
2016年第10期
《兵器装备工程学报》
多目标约束下软件
运行时验证
加速技术框架
第88-92页
关键词: 运行时验证 多目标约束 监控器 监控开销 运行时监控
2016年第08期
《兵器装备工程学报》
软件
运行时验证
加速中的多目标约束模型研究
第79-82页
关键词: 运行时验证 多目标约束 监控器 监控开销 运行时监控
2016年第09期
《兵器装备工程学报》
安全可信工业控制系统构建方案
第74-77页
关键词: 工业控制系统 嵌入式系统 信息安全 可信计算 静态度量 运行时验证
2017年第10期
《电子技术应用》
C程序内存安全的运行时检测方法研究和实现
第2358-2362页
关键词: 运行时验证 缓冲区溢出 时间内存安全 空间内存安全 基于指针
2017年第10期
《小型微型计算机系统》
面向动作的上下文感知应用的规约与
运行时验证
第1167-1182页
关键词: 普适计算 上下文感知 形式规约 运行时验证
2017年第05期
《软件学报》
嵌套模式模板在
运行时验证
中的应用
第489-493页
关键词: 运行时验证 嵌套模式 模式匹配 嵌套模式自动机
2017年第03期
《小型微型计算机系统》
参数化
运行时验证
研究和工具实现
第2667-2672页
关键词: 运行时验证 形式化规约 层次哈希森林 有限状态自动机
2016年第12期
《小型微型计算机系统》
软件
运行时验证
加速中的多目标约束模型研究
第80-83页
关键词: 运行时验证 多目标约束 监控器 监控开销 运行时监控
2016年第10期
《四川兵工学报》
软件
运行时验证
加速中的多目标约束模型研究
第79-82页
关键词: 运行时验证 多目标约束 监控器 监控开销 运行时监控
2016年第09期
《四川兵工学报》
多目标约束下软件
运行时验证
加速技术框架
第88-92页
关键词: 运行时验证 多目标约束 监控器 监控开销 运行时监控
2016年第08期
《四川兵工学报》
期刊导航
基础科学
工程科技I
工程科技II
农业科技
医药卫生科技
信息科技
哲学与人文科学
社会科学I
社会科学II
经济与管理科学