Kumar, A. (2024). Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design.
Chicago-Zitierstil (17. Ausg.)Kumar, Aman. Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) Used in Safety-Critical Design. 2024.
MLA-Zitierstil (9. Ausg.)Kumar, Aman. Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) Used in Safety-Critical Design. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.