英国Ulster大学刘军博士应邀来到实验室讲学

来源：发布者：日期：2018年03月10日 11:55 点击数：

2017年7月4日，英国Ulster大学的刘军博士应邀来到西南交通大学系统可信性自动验证国家地方联合工程实验室进行讲学。刘军博士主要针对决策问题介绍了目标驱动与数据驱动相结合的方法，具体介绍了该方法的应用背景、动机、框架、工具等内容。