مؤتمر
On Verifying Temporal Properties of Configurable Software
العنوان: | On Verifying Temporal Properties of Configurable Software |
---|---|
المؤلفون: | Dimovski, Aleksandar S., Fetaji, Bekim |
المصدر: | 2023 12th Mediterranean Conference on Embedded Computing (MECO) Embedded Computing (MECO), 2023 12th Mediterranean Conference on. :1-5 Jun, 2023 |
Relation: | 2023 12th Mediterranean Conference on Embedded Computing (MECO) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9798350322910 9798350322903 |
---|---|
تدمد: | 26379511 |
DOI: | 10.1109/MECO58584.2023.10155049 |