Open Access System for Information Sharing

Login Library

 

Conference
Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads

Formal Verification of the Robot Movements- a Case Study on Home Service Robot SHR100

Title
Formal Verification of the Robot Movements- a Case Study on Home Service Robot SHR100
Authors
강교철
Date Issued
18-Apr-2005
Publisher
IEEE
URI
http://oasis.postech.ac.kr/handle/2014.oak/58478
Article Type
Conference
Citation
2005 International Conference on Robotics and Automation (ICRA2005), page. 4750 - 4755, 2005-04-18
Files in This Item:
There are no files associated with this item.

qr_code

  • mendeley

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Views & Downloads

Browse