中国开放科研知识云: 检索

软件形式化方法与应用专题前言 期刊论文
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 495-496
詹乃军; 王戟; 李宣东

收藏 | 浏览/下载：7/0 | 提交时间：2016/12/09

收藏 | 浏览/下载：20/0 | 提交时间：2016/12/09

SRLtoRadl生成系统及其范畴论语义 期刊论文
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康

收藏 | 浏览/下载：24/0 | 提交时间：2014/12/16

基于事件结构的并发程序可视化调试方法 期刊论文
软件学报, 2014, 卷号: 25, 期号: 3, 页码: 457-471
伍晓泉; 魏峻

收藏 | 浏览/下载：13/0 | 提交时间：2014/12/16

收藏 | 浏览/下载：20/0 | 提交时间：2014/12/16

具体反例生成与图形化显示系统 期刊论文
计算机系统应用, 2013, 期号: 11, 页码: 51-57
信贤卫

收藏 | 浏览/下载：9/0 | 提交时间：2014/12/16

基于语义的恶意代码行为特征提取及检测方法 期刊论文
Journal of Software, 2012, 卷号: 23, 期号: 2, 页码: 378-393
王蕊; 冯登国; 杨轶; 苏璞睿

收藏 | 浏览/下载：16/0 | 提交时间：2012/11/12

面向Hadoop平台的工作流建模与实施 期刊论文
电脑知识与技术, 2012, 卷号: 8, 期号: 19, 页码: 4635-4640
席永涛; 李奇原; 刘杰

收藏 | 浏览/下载：11/0 | 提交时间：2013/09/17

基于动态污点分析的恶意代码通信协议逆向分析方法 期刊论文
电子学报, 2012, 卷号: 40, 期号: 4, 页码: 661-668
刘豫; 王明华; 苏璞睿; 冯登国

收藏 | 浏览/下载：20/0 | 提交时间：2012/11/12

基于视觉的互动游戏手势界面工具箱 期刊论文
Journal of Software, 2011, 卷号: 22, 期号: 5, 页码: 1067-1081
武汇岳; 张凤军; 刘玉进; 胡银焕; 戴国忠

收藏 | 浏览/下载：13/0 | 提交时间：2013/10/08

在结果中检索