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); Sirjani, Marjan (Corresponding author); Kargahi, Mehdi (Corresponding author); Khamespanah, Ehsan (Corresponding author)

Amsterdam [u.a.] : Elsevier (2019)
Buchbeitrag, Beitrag zu einem Tagungsband

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
Seite(n)/Artikel-Nr.: 59-68

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]