DMCA

Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware

by Michael Carbin , Sasa Misailovic , Martin C. Rinard
Citations:27 - 3 self