مؤتمر
Level up in verification: learning from functional snapshots
العنوان: | Level up in verification: learning from functional snapshots |
---|---|
المؤلفون: | Dinu, Alexandru, Mihail Danciu, Gabriel, Gheorghe, Stefan |
المصدر: | 2021 16th International Conference on Engineering of Modern Electric Systems (EMES) Engineering of Modern Electric Systems (EMES), 2021 16th International Conference on. :1-4 Jun, 2021 |
Relation: | 2021 16th International Conference on Engineering of Modern Electric Systems (EMES) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781665449946 9781665449953 |
---|---|
DOI: | 10.1109/EMES52337.2021.9484129 |