首页
|
软件所简介
|
人才培养
|
师资队伍
|
科学研究
|
国际合作
|
新闻公告
研究方向
学术活动
承担项目
当前位置：
首页
>>
科学研究
>>
学术活动
>>
正文
学术活动
学术报告预告：Program Verification in First-Order Logic
点击：[]
上一条：
学术报告预告：自动驾驶模拟仿真模糊测试
下一条：
学术报告预告：从二维图像到三维点云的语意分割
【
关闭
】
版权所有：北京航空航天大学软件工程研究所 地址：北京市海淀区学院路37号
