软件学报
来源：本站原创 更新：2016/8/31 字体：
大 小
.jpg)
软件形式化方法与应用专题前言
詹乃军 王戟 李宣东几何代数的高阶逻辑形式化
马莎 施智平 李黎明 关永 张杰 Xiaoyu SONG有界闭连通域上的非线性循环终止性分析
李轶 冯勇城市交通网络信号控制系统的实时演算模型
孙景昊 关楠 邓庆绪 张 论文QQ81995535 鑫 杨丰源基于变量访问序模式的中断数据竞争检测方法
陈睿 杨孟飞 郭向英安全苛刻系统测试语言中的测试设备协同语句
吕江花 高世伟 马世龙 孙波 李先军基于模拟关系的精化检测方法
王婷 陈铁明 刘杨面向条件判定覆盖的线性拟合制导测试生成
汤恩义 周岩 欧建生 陈鑫同步语言的时间可预测多线程代码生成方法
杨志斌 赵永望 黄志球 胡凯 马殿富 Jean-Paul BODEVEIX Mamoun FILALI面向方面设计中干涉问题的分析工具
陈鑫 黄超 张一帆 梅一鸣运用栅栏函数验证连续系统的有界时间安全性
甘庭 夏壁灿不确定环境下智能大厦空调系统调度策略评估
陈铭松 顾璠 徐思远 陈小红二维逻辑PPTL~(SL)的可满足性检查
陆旭 段振华 田聪面向无穷数据的形式模型综述
宋富 吴志林基于排序学习的推荐算法研究综述
黄震华 张佳雯 田春岐 孙圣力 向阳基于标签路径特征融合的在线Web新闻内容抽取
吴共庆 胡骏 李莉 徐喆昊 刘鹏程 胡学钢 吴信东绿色网络理论与技术研究
张国强 许自取 刘真公钥密码分析简介
肖人毅《软件学报》2014-2015年已出版专刊
导航:
北大核心 统计源核心 CSCD CSCD扩展 国家级期刊 省级期刊 杂志见刊
版权所有:医学全在线(m.med126.com)
