مؤتمر
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 |
Full Text Finder | ردمك: | 9798350322910 9798350322903 |
|---|---|
| تدمد: | 26379511 |
| DOI: | 10.1109/MECO58584.2023.10155049 |