التفاصيل البيبلوغرافية
| العنوان: |
Runtime Verification of Timed Properties in Autonomous Robots |
| المؤلفون: |
Foughali, Mohammed, Bensalem, Saddek, Combaz, Jacques, Ingrand, Felix |
| المصدر: |
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) Formal Methods and Models for System Design (MEMOCODE), 2020 18th ACM-IEEE International Conference on. :1-12 Dec, 2020 |
| Relation: |
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
