Formal Modeling and Analysis of Collaborative Humanoid Robotics

E-ISSN： 2166-7209|6|1|34-54

ISSN： 2166-7195

Source： International Journal of Robotics Applications and Technologies (IJRAT), Vol.6, Iss.1, 2018-01, pp. : 34-54

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A framework for formal modeling and analysis of organizations

By Jonker Catholijn Sharpanskykh Alexei Treur Jan Yolum PInar

Applied Intelligence, Vol. 27, Iss. 1, 2007-08 ,pp. : 49-66

Springer Publishing Company

Access to resources Recommend Favorite

The RoboCup humanoid challenge as the millennium challenge for advanced robotics

By Kitano Hiroaki Asada Minoru

Advanced Robotics, Vol. 13, Iss. 1-8, 1999-01 ,pp. : 723-736

Taylor & Francis Ltd

Access to resources Recommend Favorite

The RoboCup humanoid challenge as the millennium challenge for advanced robotics

By Kitano Hiroaki Asada Minoru

Advanced Robotics, Vol. 13, Iss. 8, 1998-01 ,pp. : 723-736

Taylor & Francis Ltd

Access to resources Recommend Favorite

Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars

International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol. 6, Iss. 2, 2015-04 ,pp. : 48-64

IGI Global_journal

Access to resources Recommend Favorite

Computational Modeling and Analysis of Knowledge Sharing in Collaborative Distance Learning

By Soller Amy

User Modeling and User-Adapted Interaction, Vol. 14, Iss. 4, 2004-01 ,pp. : 351-381

Springer Publishing Company

Access to resources Recommend Favorite