التفاصيل البيبلوغرافية
| العنوان: |
Formal Methods for High Integrity GPU Software Development and Verification |
| المؤلفون: |
Aspetakis, Dimitris, Kosmidis, Leonidas, Trompouki, Matina Maria, Ruiz, Jose, Marosy, Gabor |
| المصدر: |
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024. :1-6 Mar, 2024 |
| Relation: |
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
Full Text Finder