位置:成果数据库 > 期刊 > 期刊详情页
基于形式化方法的航空电子系统检测
  • ISSN号:1000-9825
  • 期刊名称:《软件学报》
  • 时间:0
  • 分类:TP315[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术] TP316
  • 作者机构:[1]Institute of Software, Chinese Academy of Sciences, Beijing 100190, China, [2]State Key Laboratory of Computer Science, Chinese Academy of Sciences, Beijing 100190, China, [3]University of Chinese Academy of Sciences, Beijing 100049, China
  • 相关基金:Acknowledgements The subject was sponsored by the National Science and Technology Major Project (2012ZX01039-004) and the National Natural Science Foundation of China (Grant No. 61305054)
中文摘要:

E-mail: wutao@iscas.ac.cnTao Wu received his MS degree in computer science from University of Science and Technology Beijing, China in 2010. He is currently a PhD candidate of University of Chinese Academy of Sciences, China. His research interests include system security and cloud security;Qiusong Yang received his PhD degree in computer science from Graduate University of Chinese Academy of Sciences, China. He is currently a professor of University of Chinese Academy of Sciences. His research interests include system and software security.;Yeping He received his PhD degree from Nanjing University of Aeronautics and Astronautics, China. He is currently a professor of University of Chinese Academy of Sciences, China. His research interests include system security and trusted computing.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《软件学报》
  • 北大核心期刊(2011版)
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编:赵琛
  • 地址:北京8718信箱中国科学院软件研究所
  • 邮编:100190
  • 邮箱:jos@iscas.ac.cn
  • 电话:010-62562563
  • 国际标准刊号:ISSN:1000-9825
  • 国内统一刊号:ISSN:11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论(网络版),波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:54609