首页   |   期刊介绍   |   编 委 会   |   投稿指南   |   期刊订阅   |   检索与收录   |   联系我们   |   专栏投稿  |  旧版网站入口
小型微型计算机系统  2015, Vol. 36 Issue (10): 2379-2383    DOI:
最新目录| 下期目录| 过刊浏览| 高级检索 |
RGMP-ROS混合机器人操作系统节点间通信的形式化验证
王亚1,王瑞1,关永1,魏洪兴2,李晓娟1,张杰3
1(高可靠嵌入式系统技术北京市工程研究中心 电子系统可靠性重点实验室,首都师范大学信息工程学院,北京 100048) 2(北京航空航天大学 机械工程及自动化学院,北京100191) 3(北京化工大学 信息科学与技术学院,北京 100029)
Formal Verification of Node Communications in the Hybrid Robot Operating System RGMPROS
WANG Ya1,WANG Rui1,GUAN Yong1,WEI Hong-xing2,LI Xiao-juan1,ZHANG Jie3
1(Beijing Key Laboratory of Electronic System Reliability Technology,Capital Normal University,Beijing 100048,China) 2(School of Mechanical Engineering and Automation,Beijing University of Aeronautics & Astronautics,Beijing 100191,China) 3(College of Information Science & Technology,Beijing University of Chemical Technology,Beijing 100048,China)


版权所有 © 《小型微型计算机系统》编辑部
主办单位:中国科学院沈阳计算技术研究所 主编:郭锐锋
国内邮发代号:8-108 国外发行代号:M349 通信地址:沈阳市浑南区南屏东路16号 邮编:110168
联系电话:(024)24696120 E-mail: xwjxt@sict.ac.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn