设为首页
|
加入收藏
首页
实验室简介
研究人员
负责人
合作人员
在研学生
毕业学生
研究成果
形式逻辑
机器学习
项目介绍
在研项目
结题项目
论文著作
学术专著
期刊论文
会议论文
专利软著
新闻动态
TOOL
BASICS24暑校
暑校简介
日程安排
注册须知
资料下载
联系我们
首页
>
新闻动态
>
正文
华为孔辉博士与田洪波博士来实验室交流
作者:
时间:2021-12-30
点击数:
12月29日下午,华为华为孔辉博士与田洪波博士来实验室交流形式化方法及其应用的研讨。
上一条:
基金重点项目年度汇报于2022年2月16日召开
下一条:
2021 CCF中国软件大会(CCF Chinasoft) ——人机物系统的建模理论与软件定义方法论坛——成功召开