مؤتمر
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 |