| contributor author | Bresolin, D. | |
| contributor author | Geretti, L. | |
| contributor author | Muradore, R. | |
| contributor author | Fiorini, P. | |
| contributor author | Villa, T. | |
| date accessioned | 2020-03-12T21:09:27Z | |
| date available | 2020-03-12T21:09:27Z | |
| date issued | 2014 | |
| identifier other | 6927307.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1038979?show=full | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8165704 | |
| subject keywords | data integration | |
| subject keywords | remote sensing | |
| subject keywords | vegetation mapping | |
| subject keywords | China | |
| subject keywords | RapidEye | |
| subject keywords | basic geographic information cutting process | |
| subject keywords | basic geographic information framing process | |
| subject keywords | basic geographic information overlay process | |
| subject keywords | data integration process | |
| subject keywords | enhancement processing process | |
| subject keywords | forest information | |
| subject keywords | forest resource annual dynamic monitoring | |
| subject keywords | forest resource development achievement | |
| subject keywords | forest resource development identification | |
| subject keywords | forest resource measurement analysis | |
| subject keywords | forest resource monitoring system | |
| subject keywords | forest resou | |
| identifier doi | 10.1109/IGARSS.2014.6946532 | |
| journal title | igital System Design (DSD), 2014 17th Euromicro Conference on | |
| filesize | 472406 | |
| citations | 0 | |