国家福彩一分快三

欢迎访问佳木斯大学!

网站地图    网站导航

当前位置:首页 > TAG信息列表 > 工具 > >
  • 2019-10-31

    学术报告(4月13日):Buechi自动机的学习算法

    学术报告(4月13日):Buechi自动机的学习算法报告题目:Buechi自动机的学习算法报告人简介:张立军,男,毕业于德国萨尔大学,博士,中国科学院软件研究所计算机国家重点实验室,研究员。报告内容简介:在模型检验理论创新、算法设计和工具实现三方面取得的成果。在理论上改善模型检验的状态空间爆炸的瓶颈,介绍了丰富的工具开发经验,协调带领一起开发出了多...

  • 2019-10-31

    学术报告(4月13日):Buechi 自动机的学习算法

    学术报告(4月13日):Buechi自动机的学习算法?报告题目:Buechi自动机的学习算法报告人简介:张立军,男,毕业于德国萨尔大学,博士,中国科学院软件研究所计算机国家重点实验室,研究员。报告内容简介:在模型检验理论创新、算法设计和工具实现三方面取得的成果。在理论上改善模型检验的状态空间爆炸的瓶颈,介绍了丰富的工具开发经验...