你即將離開本站

並前往http://202.120.82.200:8800/docinfo.action?id1=0c0761855493927d2d39e46e691d89bb&id2=AkC63hAvof0%253D

基于ROS通信机制的形式化建模与验证 - 查看论文信息

论文 语种： ... 机器人操作系统（Robot Operating System,ROS）在现代机器人工业中得到了广泛的 ... 本文提出了一个面向ROS通信层的形式化验证框架。

確定！ 回上一頁

查詢 「ros論文」的人也找了：