机扑系统相关硕士博士期刊学术论文 - 搜论网

机扑系统相关论文

一种为程序的安全性验证所设计的面向对象的自动转换方法

容错和控制系统的安全性验证是自发机扑系统成功的关键，一种叫做任务数据系统MDS（Mission Data Symstem）的控制框架的软件理论被提了......

期刊

安全性验证机扑系统 MDS 模式检测器 safety verification robotic systems MDS model checkers

看过本文同时还关注