面向移动机器人导航的形式化安全模型理论及关键技术研究
点击次数:
所属单位:计算机科学与技术学院
教研室:计算机科学与技术系
项目状态:进行
项目性质:校级项目
项目级别:校级
项目编号:校20190323
计划完成时间:2021-10-31
开始日期:2019-11-01
资助额度(万元):50.0
面向移动机器人导航的形式化安全模型理论及关键技术研究
点击次数:
所属单位:计算机科学与技术学院
教研室:计算机科学与技术系
项目状态:进行
项目性质:校级项目
项目级别:校级
项目编号:校20190323
计划完成时间:2021-10-31
开始日期:2019-11-01
资助额度(万元):50.0