Automated extraction and checking of property models from source code for robot swarms

Ettore Merlo, Carlo Pinciroli, Jacopo Panerati, Michalis Famelis et Giovanni Beltrame

Communication écrite (2022)

Un lien externe est disponible pour ce document

Département:	Département de génie informatique et génie logiciel
URL de PolyPublie:	https://publications.polymtl.ca/51276/
Nom de la conférence:	4th IEEE/ACM International Workshop on Robotics Software Engineering (RoSE 2022)
Lieu de la conférence:	Pittsburgh, PA, USA
Date(s) de la conférence:	2022-05-09
Maison d'édition:	IEEE
DOI:	10.1145/3526071.3527516
URL officielle:	https://doi.org/10.1145/3526071.3527516
Date du dépôt:	18 avr. 2023 14:59
Dernière modification:	05 avr. 2024 11:55

Citer en APA 7:	Merlo, E., Pinciroli, C., Panerati, J., Famelis, M., & Beltrame, G. (mai 2022). Automated extraction and checking of property models from source code for robot swarms [Communication écrite]. 4th IEEE/ACM International Workshop on Robotics Software Engineering (RoSE 2022), Pittsburgh, PA, USA. https://doi.org/10.1145/3526071.3527516
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Répertoire des publications (EndNote)Simple Metadata

Statistiques

Actions réservées au personnel