MetadatenAuthor details: | Anselm BreitenreiterORCiD, Marko AndjelkovićORCiDGND, Oliver SchrapeORCiDGND, Miloš KrstićORCiDGND |
---|
DOI: | https://doi.org/10.1109/ACCESS.2022.3174564 |
---|
ISSN: | 2169-3536 |
---|
Title of parent work (English): | IEEE Access |
---|
Publisher: | Inst. of Electr. and Electronics Engineers |
---|
Place of publishing: | Piscataway |
---|
Publication type: | Article |
---|
Language: | English |
---|
Date of first publication: | 2022/05/12 |
---|
Publication year: | 2022 |
---|
Release date: | 2023/12/08 |
---|
Tag: | Analytical models; Answer set programming; Circuit faults; Encoding; Flip-flops; Integrated circuit modeling; Programming; Search problems; approximate model counting; error propagation; radhard design; reliability analysis; selective fault tolerance; single event upsets |
---|
Volume: | 10 |
---|
Number of pages: | 12 |
---|
First page: | 51814 |
---|
Last Page: | 51825 |
---|
Funding institution: | German Federal Ministry of Education and Research; [16ME0122K-16ME0140+16ME0465] |
---|
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
---|
DDC classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke |
---|
Peer review: | Referiert |
---|
Publishing method: | Open Access / Gold Open-Access |
---|
| DOAJ gelistet |
---|
License (German): | CC-BY-NC-ND - Namensnennung, nicht kommerziell, keine Bearbeitungen 4.0 International |
---|