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

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

郜爱英

科技成果管理与研究Issue(9)：3-4,2.

科技成果管理与研究Issue(9)：3-4,2.DOI:10.3772/j.issn.1673-6516.2018.09.002

郜爱英¹

作者信息

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

OACHSSCD

ISSN：1673-6516

访问量0

下载量0

段落导航