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

来源:BV伟德官方网站 时间:2022-10-21 点击数:

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

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

学科领域:粒计算

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

地 点:腾讯会议:573 668 404

Copyright © BV伟德体育官方网站-始于英国1946 版权所有  电话:0596-2591441 传真:0596-2527931  公司党委信箱:msdstydzzh@163.com