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: | 25 sept. 2024 16:41 |
| 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 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
