Kvantitativ Analyse af Single Event Upsets i ARM
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
- Morten Korsholm Terndrup
- Thomas Rafn Andersen
4. semester, Datalogi, Kandidat (Kandidatuddannelse)
| Sprog | Engelsk |
|---|---|
| Udgivelsesdato | 2018 |
| Antal sider | 71 |
| Emneord | program analysis, symbolic execution, dataflow analysis, controlflow analysis, statistical model checking, UPPAAL, fault equivalence, single event upsets, bitflips |
|---|