首页> 外文会议>International conferences on info-tech and info-net;ICII 2001-Beijing >Conceiving, Analyzing, Modeling, Verifying and Developing The Clews of Modelling Open Software Architectures of Robot Controllers

【24h】

Conceiving, Analyzing, Modeling, Verifying and Developing The Clews of Modelling Open Software Architectures of Robot Controllers

机译：构想，分析，建模，验证和开发对机器人控制器的开放软件架构进行建模的思路

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《International conferences on info-tech and info-net;ICII 2001-Beijing》|2001年|352-363|共12页
会议地点
作者

展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra [J] . Science of Computer Programming . 2020,第Feba15期

机译：使用过程代数对软件定义网络中OpenFlow控制器的拓扑发现机制进行建模和验证
2. Modeling and verifying SDN underMulti-controller architectures using CSP [J] . Xiao Lili, Zhu Huibiao, Xiang Shuangqing, Concurrency, practice and experience . 2021,第2期

机译：使用CSP建模和验证SDN DUMBLER-CONTRUCTION架构
3. Modeling and Analyzing Method for CPS Software Architecture Energy Consumption [J] . Guangquan Zhang, Kan Zhang, Xueyang Zhu, Journal of software . 2013,第11期

机译：CPS软件架构能耗建模与分析方法
4. Conceiving, Analyzing, Modeling, Verifying and Developing ― The Clews of Modeling Open Software Architectures of Robot Controllers [C] . Hua Xu, Peifa Jia, Yannan Zhao International conferences on info-tech and info-net;ICII 2001-Beijing . 2001

机译：构思，分析，建模，验证和开发―建模机器人控制器的开放软件架构的思路
5. Formal verification and testing of software architectural models. [D] . Argote Garcia, Gonzalo. 2009

机译：正式验证和测试软件体系结构模型。
6. A Robotic Coach Architecture for Elder Care (ROCARE) Based on Multi-user Engagement Models [O] . Jing Fan, Dayi Bian, Zhi Zheng, -1

机译：基于多用户参与模型的老年人护理机器人教练体系（ROCARE）
7. Modelling and Verification of Timed Robotic Controllers [O] . Ribeiro, P., Miyazawa, A., Li, W., 2017

机译：定时机器人控制器的建模与验证
8. Rational Behavior Model: A Tri-Level Multiple Paradigm Architecture for Robot Vehicle Control Software. [R] . Kwak, S. H., McGhee, R. B., Bihari, T. E. 1992

机译：理性行为模型：机器人车辆控制软件的三级多范式体系结构。

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号