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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|