主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第5期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

2020年第31卷第6期目录

   
浏览其它刊期:  
  

专刊文章

基于SHML的CPS行为建模及仿真
  杜德慧,管春琳,王耀,郭童
  2020,31(6):0 [摘要(185)]  [PDF 728.63 K (404)]
  
垂悬指针检测与防御方法
  王豫,高凤娟,马可欣,司徒凌云,王林章,陈碧欢,刘杨,赵建华,李宣东
  2020,31(6):0 [摘要(183)]  [PDF 1.11 M (196)]
  
自主机器人多智能体软件架构及伴随行为机制
  毛新军,杨硕,黄裕泓,王硕
  2020,31(6):0 [摘要(229)]  [PDF 991.93 K (845)]
  
轨道交通联锁领域特定语言的形式化
  赵梦瑶,陈小红,孙海英,刘静,陈良育,周庭梁
  2020,31(6):0 [摘要(153)]  [PDF 594.49 K (492)]
  
基于AADL的失效概率分配及安全性评估方法
  魏晓敏,董泽乾,肖明睿,田聪
  2020,31(6):0 [摘要(187)]  [PDF 586.96 K (333)]
  
马尔可夫信息物理系统拒绝服务攻击安全控制
  马超,吴伟
  2020,31(6):0 [摘要(180)]  [PDF 406.60 K (70)]
  

综述文章

基于动态分析的软件不变量综合技术综述
  王博,卢思睿,姜佳君,熊英飞
  2020,31(6):0 [摘要(358)]  [PDF 488.04 K (798)]
  
跨领域文本情感分类研究进展
  赵传君,王素格,李德玉
  2020,31(6):0 [摘要(333)]  [PDF 1.75 M (106)]
  
持续监控下差分隐私保护
  梁文娟,陈红,吴云乘,赵丹,李翠平
  2020,31(6):0 [摘要(356)]  [PDF 773.79 K (608)]
  
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利