Semantic Scholar Open Access 2013 262 sitasi

Verifying quantitative reliability for programs that execute on unreliable hardware

Michael Carbin Sasa Misailovic M. Rinard

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (3)

Michael Carbin

Sasa Misailovic

M. Rinard

Format Sitasi

APA MLA BibTeX

Carbin, M., Misailovic, S., Rinard, M. (2013). Verifying quantitative reliability for programs that execute on unreliable hardware. https://doi.org/10.1145/2509136.2509546

Akses Cepat

Lihat di Sumber doi.org/10.1145/2509136.2509546

Informasi Jurnal

Tahun Terbit: 2013
Bahasa: en
Total Sitasi: 262×
Sumber Database: Semantic Scholar
DOI: 10.1145/2509136.2509546
Akses: Open Access ✓