Formal Verification by The Book: Error Detection and Correction Codes

Author(s):
K. Devarajegowda, V. Hiltl, T. Rabenalt, D. Stoffel, W. Kunz, and W. Ecker
Location:
United States
Year:
2020
Type:
Presentation
Format:
pdf