期刊之家
首页
SCI期刊
核心目录
北核期刊
热门期刊
国内期刊
农业期刊
电子期刊
政法期刊
科技期刊
教育期刊
经济期刊
医学期刊
文学期刊
学术答疑
期刊知识
发表指导
职称新闻
SCI百科
SSCI知识问答
SCOPUS指南
EI发表指南
教材出版
学术著作
出版常识
论文翻译润色
国外出书
课题申报
指导服务
SCI指导
SSCI指导
EI指导
SCOPUS指导
AHCI指导
国际出书指导
国内出书指导
关于我们
《软件学报杂志》近10年内发表论文目录
当前位置:
期刊之家网
>
《软件学报杂志》
>
《软件学报杂志》范文目录
代码审查中代码变更恢复的经验研究
2022年第7期
面向领域驱动设计的逆向建模支持方法
2022年第7期
安全强化学习算法及其在CPS智能控制中的应用
2022年第7期
基于Rectified Adam和颜色不变性的对抗迁移攻击
2022年第7期
采用多目标优化的深度学习测试优化方法
2022年第7期
基于概率模型检查的树模型公平性验证方法
2022年第7期
基于多路径回溯的神经网络验证方法
2022年第7期
基于最小不满足核的随机森林局部解释性分析
2022年第7期
人脸识别反欺诈研究进展
2022年第7期
可信系统性质的分类和形式化研究综述
2022年第7期
动态网络中多规则的最短路径查询算法
2022年第8期
基于感染结果的传播网络推断方法
2022年第8期
基于受限MDP的无模型安全强化学习方法
2022年第8期
智能合约安全漏洞检测技术研究综述
2022年第8期
开源许可证合规性研究
2022年第8期
代码自然性及其应用研究进展
2022年第8期
软硬件综合AADL可靠性建模及分析方法
2022年第8期
基于锁耦合遍历算法的文件系统终止性验证
2022年第8期
基于抽象解释的函数内联过程间分析优化方法
2022年第8期
模拟实时系统的点区间优先级时间Petri网与TCTL验证
2022年第8期
基于时态测试器的实时分支时态逻辑模型检测
2022年第8期
基于深度学习和反例制导的循环程序秩函数生成
2022年第8期
TSO内存模型下限界可线性化的可判定性研究
2022年第8期
智能合约的时间约束模式及其形式化验证
2022年第8期
基于SysML的机载软件分层精化建模与验证方法
2022年第8期
2949 条记录 74/118 页
第一页
上一页
上5页
71
72
73
74
75
下5页
下一页
最后一页
获取完整文献 了解学术指导
填写需求
联系方式
立即免费获取
注:学术顾问会在1小时内联系您,请留意!