HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0
首页 论文大全 运行时验证论文 列表
期刊分类
期刊收录
出版地区
基于Büchi自动机化简的JavaMOP监控器构造方法第374-378页
关键词: 运行时验证  javamop  监控器  线性时态逻辑  buchi自动机  
基于隐马尔科夫模型的随机系统运行时安全性验证第198-204页
关键词: 随机系统  安全性  运行时验证  隐马尔科夫模型  
2018年第06期 《工程科学与技术》
状态不可观测的信息物理融合系统运行时验证第2824-2831页
关键词: 信息物理融合系统  运行时验证  隐马尔科夫模型  确定性有限自动机  安全性  反例  
2018年第12期 《电子学报》
面向多线程程序的内存安全运行时验证第102-107页
关键词: 多线程  多核  无锁数据结构  运行时验证  源代码插桩  编程语言  
基于运行时验证的无人飞行系统安全威胁检测方法第1360-1378页
关键词: 无人飞行系统  安全威胁检测  运行时验证  
2018年第05期 《软件学报》
面向实时数据的CPS一体化建模方法第1966-1979页
关键词: 运行时验证  实时性  cps  环境建模  安全性  
2019年第07期 《软件学报》
普适计算应用时空性质的运行时验证第1622-1634页
关键词: 普适计算  三值语义  运行时验证  
2018年第06期 《软件学报》
基于多线程监控器的运行时验证第29-34页
关键词: 运行时验证  多线程  源代码插桩  编程语言  
基于多核CPU的运行时验证技术的研究与实现第23-27页
关键词: 运行时验证  并行计算  多核cpu  软件测试  
2018年第11期 《电子设计工程》
软件运行时验证加速中的多目标约束模型研究第80-83页
关键词: 运行时验证  多目标约束  监控器  监控开销  运行时监控  
多目标约束下软件运行时验证加速技术框架第88-92页
关键词: 运行时验证  多目标约束  监控器  监控开销  运行时监控  
软件运行时验证加速中的多目标约束模型研究第79-82页
关键词: 运行时验证  多目标约束  监控器  监控开销  运行时监控  
安全可信工业控制系统构建方案第74-77页
关键词: 工业控制系统  嵌入式系统  信息安全  可信计算  静态度量  运行时验证  
2017年第10期 《电子技术应用》
C程序内存安全的运行时检测方法研究和实现第2358-2362页
关键词: 运行时验证  缓冲区溢出  时间内存安全  空间内存安全  基于指针  
面向动作的上下文感知应用的规约与运行时验证第1167-1182页
关键词: 普适计算  上下文感知  形式规约  运行时验证  
2017年第05期 《软件学报》
嵌套模式模板在运行时验证中的应用第489-493页
关键词: 运行时验证  嵌套模式  模式匹配  嵌套模式自动机  
参数化运行时验证研究和工具实现第2667-2672页
关键词: 运行时验证  形式化规约  层次哈希森林  有限状态自动机  
软件运行时验证加速中的多目标约束模型研究第80-83页
关键词: 运行时验证  多目标约束  监控器  监控开销  运行时监控  
2016年第10期 《四川兵工学报》
软件运行时验证加速中的多目标约束模型研究第79-82页
关键词: 运行时验证  多目标约束  监控器  监控开销  运行时监控  
2016年第09期 《四川兵工学报》
多目标约束下软件运行时验证加速技术框架第88-92页
关键词: 运行时验证  多目标约束  监控器  监控开销  运行时监控  
2016年第08期 《四川兵工学报》