Cargando…
Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology
The RoboStar framework supports model-based engineering of robotic applications.
| Autor principal: | |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242051/ http://dx.doi.org/10.1007/978-3-030-48077-6_1 |
| _version_ | 1783537170833735680 |
|---|---|
| author | Cavalcanti, Ana |
| author_facet | Cavalcanti, Ana |
| author_sort | Cavalcanti, Ana |
| collection | PubMed |
| description | The RoboStar framework supports model-based engineering of robotic applications. |
| format | Online Article Text |
| id | pubmed-7242051 |
| institution | National Center for Biotechnology Information |
| language | English |
| publishDate | 2020 |
| record_format | MEDLINE/PubMed |
| spelling | pubmed-72420512020-05-22 Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology Cavalcanti, Ana Rigorous State-Based Methods Article The RoboStar framework supports model-based engineering of robotic applications. 2020-04-22 /pmc/articles/PMC7242051/ http://dx.doi.org/10.1007/978-3-030-48077-6_1 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic. |
| spellingShingle | Article Cavalcanti, Ana Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology |
| title | Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology |
| title_full | Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology |
| title_fullStr | Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology |
| title_full_unstemmed | Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology |
| title_short | Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology |
| title_sort | modelling and verification of robotic platforms for simulation using robostar technology |
| topic | Article |
| url | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242051/ http://dx.doi.org/10.1007/978-3-030-48077-6_1 |
| work_keys_str_mv | AT cavalcantiana modellingandverificationofroboticplatformsforsimulationusingrobostartechnology |