التفاصيل البيبلوغرافية
| العنوان: |
Verification of FPGA control systems by analyzing the correctness of state diagrams |
| المؤلفون: |
Miroshnyk, Maryna, Shkil, Alexander, Kulak, Elvira, Rakhlis, Dariia, Filippenko, Inna, Miroshnyk, Anatolii |
| المصدر: |
2020 IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT) Dependable Systems, Services and Technologies (DESSERT), 2020 IEEE 11th International Conference on. :85-89 May, 2020 |
| Relation: |
2020 IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT) |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
