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

Autor:	Ettore Merlo, Carlo Pinciroli, Jacopo Panerati, Michalis Famelis, Giovanni Beltrame
Rok vydání:	2022
Zdroj:	Proceedings of the 4th International Workshop on Robotics Software Engineering.
DOI:	10.1145/3526071.3527516
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::2a0fb527d2e61a621dbadd05d3eda10f https://doi.org/10.1145/3526071.3527516 Zobrazit plný text záznamu