学术报告（4月13日）：Buechi自动机的学习算法报告题目：Buechi自动机的学习算法报告人简介：张立军，男，毕业于德国萨尔大学，博士，中国科学院软件研究所计算机国家重点实验室，研究员。报告内容简介：在模型检验理论创新、算法设计和工具实现三方面取得的成果。在理论上改善模型检验的状态空间爆炸的瓶颈，介绍了丰富的工具开发经验，协调带领一起开发出了多...
学术报告（4月13日）：Buechi自动机的学习算法?报告题目：Buechi自动机的学习算法报告人简介：张立军，男，毕业于德国萨尔大学，博士，中国科学院软件研究所计算机国家重点实验室，研究员。报告内容简介：在模型检验理论创新、算法设计和工具实现三方面取得的成果。在理论上改善模型检验的状态空间爆炸的瓶颈，介绍了丰富的工具开发经验...
|
黑龙江大发快三正规官方平台省佳木斯市学府街258号 邮政编码: 154007 版权所有：佳木斯大学 黑ICP备05007780号 |
|
