h1

000807203 001__ 807203
000807203 005__ 20230404055233.0
000807203 0247_ $$2ISSN$$a1877-0509
000807203 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85074724079
000807203 0247_ $$2WOS$$aWOS:000570648500007
000807203 0247_ $$2doi$$a10.1016/j.procs.2019.08.012
000807203 0247_ $$2datacite_doi$$a10.18154/RWTH-2020-11187
000807203 037__ $$aRWTH-2020-11187
000807203 041__ $$aEnglish
000807203 082__ $$a004
000807203 1001_ $$aDehnavi, Saeid$$b0$$eCorresponding author
000807203 1112_ $$a16. International Conference on Mobile Systems and Pervasive Computing$$cHalifax$$d2019-08-19 - 2019-08-21$$gMobiSPC 2019$$wCanada
000807203 245__ $$aTowards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca$$honline
000807203 260__ $$aAmsterdam [u.a.]$$bElsevier$$c2019
000807203 29510 $$aThe 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
000807203 300__ $$a59-68
000807203 3367_ $$033$$2EndNote$$aConference Paper
000807203 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book
000807203 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings$$bcontrib$$mcontrib
000807203 3367_ $$2BibTeX$$aINPROCEEDINGS
000807203 3367_ $$2DRIVER$$aconferenceObject
000807203 3367_ $$2DataCite$$aOutput Types/Conference Paper
000807203 3367_ $$2ORCID$$aCONFERENCE_PAPER
000807203 4900_ $$aProcedia computer science$$v155
000807203 588__ $$aDataset connected to CrossRef
000807203 591__ $$aGermany
000807203 591__ $$aIceland
000807203 591__ $$aIran
000807203 591__ $$aSweden
000807203 7001_ $$aSedaghatbaf, Ali$$b1$$eCorresponding author
000807203 7001_ $$0P:(DE-82)IDM04246$$aSalmani Barzoki, Bahare$$b2$$eCorresponding author$$urwth
000807203 7001_ $$aSirjani, Marjan$$b3$$eCorresponding author
000807203 7001_ $$aKargahi, Mehdi$$b4$$eCorresponding author
000807203 7001_ $$aKhamespanah, Ehsan$$b5$$eCorresponding author
000807203 7112_ $$a14. International Conference on Future Networks and Communications$$cHalifax$$d2019-08-19 - 2019-08-21$$gFNC- 2019$$wCanada
000807203 7112_ $$a9. International Conference on Sustainable Energy Information Technology$$cHalifax$$d2019-08-19 - 2019-08-21$$wCanada
000807203 8564_ $$uhttps://publications.rwth-aachen.de/record/807203/files/807203.pdf$$yOpenAccess
000807203 909CO $$ooai:publications.rwth-aachen.de:807203$$popenaire$$popen_access$$pVDB$$pdriver$$pdnbdelivery
000807203 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM04246$$aRWTH Aachen$$b2$$kRWTH
000807203 9141_ $$y2019
000807203 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
000807203 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2020-08-29
000807203 915__ $$0StatID:(DE-HGF)0300$$2StatID$$aDBCoverage$$bMedline$$d2020-08-29
000807203 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
000807203 915__ $$0LIC:(DE-HGF)CCBYNCND4$$2HGFVOC$$aCreative Commons Attribution-NonCommercial-NoDerivs CC BY-NC-ND 4.0
000807203 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)$$x0
000807203 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
000807203 961__ $$c2020-11-13T17:39:16.307716$$x2020-11-13T17:39:16.307716$$z2020-11-16
000807203 980__ $$aI:(DE-82)120000_20140620
000807203 980__ $$aI:(DE-82)121310_20140620
000807203 980__ $$aUNRESTRICTED
000807203 980__ $$aVDB
000807203 980__ $$acontb
000807203 980__ $$acontrib
000807203 9801_ $$aFullTexts