دورية أكاديمية
A Specification-Based Semi-Formal Functional Verification Method by a Stage Transition Graph Model
| العنوان: | A Specification-Based Semi-Formal Functional Verification Method by a Stage Transition Graph Model |
|---|---|
| المؤلفون: | Lv, Z., Chen, S., Zhang, T., Wang, Y. |
| المصدر: | IEEE Access Access, IEEE. 7:14947-14958 2019 |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | تدمد: | 21693536 |
|---|---|
| DOI: | 10.1109/ACCESS.2019.2892649 |