文章编号
标题
作者
年卷期:起始页码-结束页码
复制
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
页
第一页
上一页
下一页
最后一页
跳转到第
页
用微信扫一扫
