HETA: Hybrid error-detection technique using assertions
| Zugehörige Institution(en) am KIT | Institut für Technik der Informationsverarbeitung (ITIV) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2013 |
| Sprache | Englisch |
| Identifikator | ISSN: 0018-9499 KITopen-ID: 1000041411 |
| Erschienen in | IEEE Transactions on Nuclear Science |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Band | 60 |
| Heft | 4 |
| Seiten | 2805-2812 |
| Nachgewiesen in | Dimensions Web of Science Scopus |