AAU Student Projects - visit Aalborg University's student projects portal
A master's thesis from Aalborg University
Book cover


Quantitative Analysis of Single Event Upsets in ARM

Translated title

Kvantitativ Analyse af Single Event Upsets i ARM

Authors

;

Term

4. term

Education

Computer Science, Master

Publication year

2018

Submitted on

Pages

71

Keywords

program analysis ; symbolic execution ; dataflow analysis ; controlflow analysis ; statistical model checking ; UPPAAL ; fault equivalence ; single event upsets ; bitflips

Documents

Download
View record in AAU Student Projects