北京航空航天大学软件工程研究所
 首页 | 软件所简介 | 人才培养 | 师资队伍 | 科学研究 | 国际合作 | 新闻公告 
   
 研究方向 
 学术活动 
 承担项目 
 
当前位置： 首页>>科学研究>>学术活动
   学术活动
· 学术报告预告：社交媒体中事件的识别与理解技术 2021/12/22 
· 学术报告预告：自动驾驶模拟仿真模糊测试 2021/12/22 
· 学术报告预告：Program Verification in First-Order Logic 2021/12/21 
· 学术报告预告：从二维图像到三维点云的语意分割 2021/12/20 
· 学术报告预告：Environment-Driven Abstraction Identificati... 2021/12/19 
· 学术报告预告：Tips for Writing Research Paper 2021/07/21 
· 学术报告预告：软件可靠性—演进中的概念 2021/06/26 
· 学术报告预告：模型驱动的复杂安全攸关嵌入式系统形式设计理... 2021/06/26 
· 学术报告预告：从参数化到概率化的程序合成与调试 2021/06/22 
· 学术研究进展：Automatically detecting the conflicts betwe... 2021/04/02 
· 学术报告预告：Automated Prototype Generation from Require... 2019/09/16 
· 学术报告预告：Bridging the Gap Between Software Engineeri... 2018/12/17 
共42条  3/3 
下页尾页  页
  

版权所有：北京航空航天大学软件工程研究所             地址：北京市海淀区学院路37号