<  Back to the Polytechnique Montréal portal

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

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

Paper (2022)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/51276/
Conference Title: 4th IEEE/ACM International Workshop on Robotics Software Engineering (RoSE 2022)
Conference Location: Pittsburgh, PA, USA
Conference Date(s): 2022-05-09
Publisher: IEEE
DOI: 10.1145/3526071.3527516
Official URL: https://doi.org/10.1145/3526071.3527516
Date Deposited: 18 Apr 2023 14:59
Last Modified: 18 Apr 2023 14:59
Cite in APA 7: Merlo, E., Pinciroli, C., Panerati, J., Famelis, M., & Beltrame, G. (2022, May). Automated extraction and checking of property models from source code for robot swarms [Paper]. 4th IEEE/ACM International Workshop on Robotics Software Engineering (RoSE 2022), Pittsburgh, PA, USA. https://doi.org/10.1145/3526071.3527516

Statistics

Dimensions

Repository Staff Only

View Item View Item