http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

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

Online
DOI: 10.1016/j.procs.2019.08.012
10.1016/j.procs.2019.08.012
DOI: 10.18154/RWTH-2020-11187
URL: https://publications.rwth-aachen.de/record/807203/files/807203.pdf

Einrichtungen

1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
2. Fachgruppe Informatik (120000)

Thematische Einordnung (Klassifikation)
DDC: 004

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85074724079
WOS Core Collection: WOS:000570648500007

Interne Identnummern
RWTH-2020-11187
Datensatz-ID: 807203

Beteiligte Länder
Germany, Iceland, Iran, Sweden