2020-2021年专刊出版计划
微信服务介绍
最新一期:2021年第1期
赵永望,刘杨,王戟.系统软件构造与验证技术专题前言.软件学报,2020,31(5):1241-1242
系统软件构造与验证技术专题前言
投稿时间:2020-03-27
DOI:
10.13328/j.cnki.jos.005958
中文关键词
:
英文关键词
:
基金项目
:
作者
单位
E-mail
赵永望
北京航天航空大学 计算机学院
,
北京 100191
zhaoyw@buaa.edu.cn
刘杨
School of Computer Science and Engineering
,
Nanyang Technological University
,
Singapore 639798
,
Singapore
王戟
国防科技大学 计算机学院
,
湖南 长沙 410073
高性能计算国家重点实验室(国防科技大学)
,
湖南 长沙 410073
摘要点击次数
:
746
全文下载次数
:
408
中文摘要
:
英文摘要
:
HTML
下载PDF全文
查看/发表评论
下载PDF阅读器
主办单位:中国科学院软件研究所 中国计算机学会
京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利
京公网安备 11040202500064号