Automated extraction and checking of property models from source code for robot swarms (Q130884423)
scientific article published on 02 February 2023
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automated extraction and checking of property models from source code for robot swarms |
scientific article published on 02 February 2023 |
Statements
Automated extraction and checking of property models from source code for robot swarms (English)
Ettore Merlo
Carlo Pinciroli
Jacopo Panerati
Michalis Famelis
Giovanni Beltrame
2 February 2023
47-54
