Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca

Dehnavi, Saeid; Khamespanah, Ehsan; Salmani Barzoki, Bahare; Sedaghatbaf, Ali; Kargahi, Mehdi; Sirjani, Marjan

doi:WOS:000570648500007

Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca

Dehnavi, Saeid (Corresponding author) ; Sedaghatbaf, Ali (Corresponding author) ; Salmani Barzoki, Bahare (Corresponding author)^RWTH* ; Sirjani, Marjan (Corresponding author) ; Kargahi, Mehdi (Corresponding author) ; Khamespanah, Ehsan (Corresponding author)

In
The 16th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2019),The 14th International Conference on Future Networks and Communications (FNC-2019),The 9th International Conference on Sustainable Energy Information Technology / Edited by Elhadi Shakshuki, Ansar Yasar, Haroon Malik, Seiten/Artikel-Nr: 59-68

2019

Konferenz/Event:16. International Conference on Mobile Systems and Pervasive Computing , Halifax , Canada , MobiSPC 2019 , 2019-08-19 - 2019-08-21

Konferenz/Event:14. International Conference on Future Networks and Communications 9. International Conference on Sustainable Energy Information Technology , Halifax Halifax , Canada Canada , FNC- 2019 , 2019-08-19 - 2019-08-21 2019-08-19 - 2019-08-21

ImpressumAmsterdam [u.a.] : Elsevier

Umfang59-68

ReiheProcedia computer science ; 155