مؤتمر
Recent Trends in Formal Validation and Verification of Autonomous Robots Software
| العنوان: | Recent Trends in Formal Validation and Verification of Autonomous Robots Software |
|---|---|
| المؤلفون: | Ingrand, Felix |
| المصدر: | 2019 Third IEEE International Conference on Robotic Computing (IRC) IRC Robotic Computing (IRC), 2019 Third IEEE International Conference on. :321-328 Feb, 2019 |
| Relation: | 2019 Third IEEE International Conference on Robotic Computing (IRC) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
| ردمك: | 9781538692455 |
|---|---|
| DOI: | 10.1109/IRC.2019.00059 |