التفاصيل البيبلوغرافية
العنوان: |
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 |