Home
 管理页面
合作伙伴
学术资讯
合作证书
My JSP 'xwgg_1_.jsp' starting page
  

学术报告—UOS国产操作系统与软件形式化描述

类别:对外交流 发布于:2020年07月23日09时25分

7月15日下午四点,复杂网络与可视化研究所学术交流会议在主教学楼A414室召开,研究所老师以及2018级、2019级全体硕士研究生出席了本次会议。

在本次交流会上,2019级硕士研究生郑新新向大家分享了使用国产操作系统UOS的感受并介绍了一些基于UOS的国产编译器,李红梅向大家介绍了关于复杂网络软件形式化描述等方面的研究工作。会上,两位同学讲述的内容引起了大家的热烈讨论。

2019级研究生作报告-1

2019级研究生作报告-2

 Home