Formal modelling and analysis of Bitflips in ARM assembly code

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftInformation Systems Frontiers
Vol/bind18
Udgave nummer5
Sider (fra-til)909–925
Antal sider17
ISSN1387-3326
DOI
StatusUdgivet - 27 jun. 2016

Citationsformater