1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Apresentação em Evento
Please use this identifier to cite or link to this item: https://hdl.handle.net/10923/25514
Full metadata record
DC FieldValueLanguage
dc.contributor.authorDebora Cristina Engelmann-
dc.contributor.authorAngelo Ferrando-
dc.contributor.authorAlison Roberto Panisson-
dc.contributor.authorDavide Ancona-
dc.contributor.authorRafael Heitor Bordini-
dc.contributor.authorViviana Mascardi-
dc.date.accessioned2023-07-18T13:37:05Z-
dc.date.available2023-07-18T13:37:05Z-
dc.date.issued2022-
dc.identifier.urihttps://hdl.handle.net/10923/25514-
dc.language.isoen-
dc.relation.ispartofProceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July - EPTCS, 2022, Austria.-
dc.rightsopenAccess-
dc.titleRV4JaCa - Runtime Verification for Multi-Agent Systems-
dc.typeconferenceObject-
dc.date.updated2023-07-18T13:37:05Z-
Appears in Collections:Apresentação em Evento

Files in This Item:
File Description SizeFormat 
RV4JaCa_Runtime_Verification_for_MultiAgent_Systems.pdf651,92 kBAdobe PDFOpen
View
Show simple item record See statistics Search for other versions of fulltext via SFX


All Items in PUCRS Repository are protected by copyright, with all rights reserved, and are licensed under a Creative Commons Attribution-NonCommercial 4.0 International License. Read more.