期刊之家
首页
SCI期刊
核心目录
北核期刊
热门期刊
国内期刊
农业期刊
电子期刊
政法期刊
科技期刊
教育期刊
经济期刊
医学期刊
文学期刊
学术答疑
期刊知识
发表指导
职称新闻
SCI百科
SSCI知识问答
SCOPUS指南
EI发表指南
教材出版
学术著作
出版常识
论文翻译润色
国外出书
课题申报
指导服务
SCI指导
SSCI指导
EI指导
SCOPUS指导
AHCI指导
国际出书指导
国内出书指导
关于我们
《软件学报杂志》近10年内发表论文目录
当前位置:
期刊之家网
>
《软件学报杂志》
>
《软件学报杂志》范文目录
污点分析技术的原理和实践应用
2017年第4期
数据中心中DVFS对程序性能影响模型的设计
2017年第4期
C/C++程序静态内存泄漏警报自动确认方法
2017年第4期
基于Z3的Coq自动证明策略的设计和实现
2017年第4期
基于通信Petri网的异步通信程序验证模型
2017年第4期
通过抽象程序证明复杂具体程序
2017年第4期
面向国产异构众核系统的Parallel C语言设计与实现
2017年第4期
获取访存依赖:并发程序动态分析基础技术综述
2017年第4期
程序设计语言与系统前沿专题前言
2017年第4期
基于共享内存的智能无人车进程间消息异步传输机制
2017年第5期
一种IP网络拥塞链路丢包率范围推断算法
2017年第5期
基于分层抽样的重叠深网数据源选择
2017年第5期
软件非功能需求权衡代价
2017年第5期
可信编译器L2C的核心翻译步骤及其设计与实现
2017年第5期
peC语言的部分求值器及在编译器测试中的应用
2017年第5期
基于Event-B的航天器内存管理系统形式化验证
2017年第5期
基于通信的列车控制系统可信构造:形式化方法综述
2017年第5期
面向动作的上下文感知应用的规约与运行时验证
2017年第5期
一种面向CPS的控制应用程序协同验证方法
2017年第5期
一种面向CPS的自适应统计模型检测方法
2017年第5期
多机器人路径规划的安全性验证
2017年第5期
面向收敛的并发程序执行轨迹静态简化方法
2017年第5期
不确定观测下离散事件系统的可诊断性
2017年第5期
异步多进程时间自动机的可覆盖性问题
2017年第5期
正则模型类的时态可定义性
2017年第5期
2949 条记录 24/118 页
第一页
上一页
上5页
21
22
23
24
25
下5页
下一页
最后一页
获取完整文献 了解学术指导
填写需求
联系方式
立即免费获取
注:学术顾问会在1小时内联系您,请留意!