التفاصيل البيبلوغرافية
| العنوان: |
Automated Extraction and Checking of Property Models from Source Code for Robot Swarms |
| المؤلفون: |
Merlo, Ettore, Pinciroli, Carlo, Panerati, Jacopo, Famelis, Michalis, Beltrame, Giovanni |
| المصدر: |
2022 IEEE/ACM 4th International Workshop on Robotics Software Engineering (RoSE) ROSE Robotics Software Engineering (RoSE), 2022 IEEE/ACM 4th International Workshop on. :47-54 May, 2022 |
| Relation: |
2022 IEEE/ACM 4th International Workshop on Robotics Software Engineering (RoSE) |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
