|国家科技期刊平台
| 注册
首页|期刊导航|科技成果管理与研究|创新形式化方法研究保障计算机系统安全——上海交通大学符鸿飞特别副研究员

创新形式化方法研究保障计算机系统安全——上海交通大学符鸿飞特别副研究员

科技成果管理与研究Issue(9)：封4,1.
✕
科技成果管理与研究Issue(9)：封4,1.

创新形式化方法研究保障计算机系统安全——上海交通大学符鸿飞特别副研究员

摘要

引用本文复制引用

..创新形式化方法研究保障计算机系统安全——上海交通大学符鸿飞特别副研究员[J].科技成果管理与研究,2018,(9):封4,1.

科技成果管理与研究

OACHSSCD

1673-6516

访问量1
|
下载量0
段落导航相关论文