文章编号标题作者年卷期:起始页码-结束页码复制
5809 协同业务过程的建模及正确性修正 莫启,代飞,笪建,朱锐,谢仲文,李彤 2020,31(10):3147-3166
5830 软件需求变更管理的系统动力学仿真建模 康燕妮,张璇,王旭,李彤,唐子淇,牛家梅 2020,31(11):3380-3403
5833 函数级数据依赖图及其在静态脆弱性分析中的应用 陈千,程凯,郑尧文,朱红松,孙利民 2020,31(11):3421-3435
5863 子图相似性的恶意程序检测方法 汪洁,王长青 2020,31(11):3436-3447
5873 一种手绘制导的移动应用界面测试方法 成浩亮,汤恩义,玉淳舟,张初成,陈鑫,王林章,卜磊,李宣东 2020,31(12):3671-3684
5881 代数次数的求解算法及其在SIMON-like算法中的应用 任炯炯,李航,林键,陈少真 2020,31(8):2453-2464
5883 循环迭代程序的一种可信计算算法 赵世忠,陈冬火,刘静 2020,31(12):3685-3699
5960 基于Coq的Paxos形式化建模与验证 李亚男,邓玉欣,刘静 2020,31(8):2362-2374
5962 一种包解析器硬件配置描述语言及其编译结构 李璜华,李凌,赵宇,王生原,李翔宇 2020,31(8):2285-2308
5963 高阶类型化可验证应用系统体系结构建模及案例 李小平,乌尼日其其格,马世龙,吕江花 2020,31(8):2309-2335
5971 面向移动Web应用的浏览器缓存性能度量与优化 马郓,刘譞哲,梅宏 2020,31(7):1980-1996
5982 基于DAG的分布式账本共识机制研究 高政风,郑继来,汤舒扬,龙宇,刘志强,刘振,谷大武 2020,31(4):1124-1142
5987 中文软件问答社区主题分析研究 蒋竞,吕江枫,张莉 2020,31(4):1143-1161
5993 基于SHML的CPS行为建模及仿真 杜德慧,管春琳,王耀,郭童 2020,31(6):1587-1599
5994 垂悬指针检测与防御方法 王豫,高凤娟,马可欣,司徒凌云,王林章,陈碧欢,刘杨,赵建华,李宣东 2020,31(6):1600-1618
1 2 3
一共33 条记录  共3 页  第1 页   第一页 最后一页 跳转到第

用微信扫一扫

用微信扫一扫