DMCA

Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware

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