基于可达集上下近似的混成系统安全性验证研究

来源:bat365官网登录入口 时间:2022-10-21 点击数:

主 题:基于可达集上下近似的混成系统安全性验证研究

主讲人:佘志坤教授(北京航空航天大学)

学科领域:粒计算

时 间:2022年10月25日(周二)15:00

地 点:腾讯会议:573 668 404

Copyright © bat356(在线)登录网站-最新手机APP下载 版权所有  电话:0596-2591441 传真:0596-2527931  学院党委信箱:msdstydzzh@163.com