Component Specifications for Robotics Integration

Author： Messina E.   Horst J.   Kramer T.   Huang H.   Michaloski J.  

Publisher： Springer Publishing Company

ISSN： 0929-5593

Source： Autonomous Robots, Vol.6, Iss.3, 1999-06, pp. : 247-264

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

Models and temporal logical specifications for timed component connectors

By Arbab Farhad   Baier Christel   Boer Frank   Rutten Jan  

Software and Systems Modeling (SoSyM), Vol. 6, Iss. 1, 2007-03 ,pp. : 59-82

Springer Publishing Company

Access to resources Recommend Favorite

A functional component framework for integration infrastructures

By Busschbach Erik Van   Pieterse Bram   Zwegers Arian  

International Journal of Networking and Virtual Organisations, Vol. 2, Iss. 3, 2004-10 ,pp. : 267-282

Inderscience Publishers

Access to resources Recommend Favorite

Towards UML-based formal specifications of component-based real-time software

By Bianco Vieri  

International Journal on Software Tools for Technology Transfer, Vol. 9, Iss. 2, 2007-03 ,pp. : 179-192

Springer Publishing Company

Access to resources Recommend Favorite

Automotive robotics

By Ranky Paul G  

Industrial Robot: An International Journal, Vol. 31, Iss. 3, 2004-03 ,pp. : 252-257

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Construction robotics

By Bock Thomas  

Autonomous Robots, Vol. 22, Iss. 3, 2007-04 ,pp. : 201-209

Springer Publishing Company

Access to resources Recommend Favorite