Formal modelling and analysis of Bitflips in ARM assembly code

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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

Citer dette

@inproceedings{1a140871d7754663ac48ccb42496ceb6,
title = "Formal modelling and analysis of Bitflips in ARM assembly code",
author = "Hansen, {Rene Rydhof} and Larsen, {Kim Guldstrand} and Olesen, {Mads Chr.} and Wognsen, {Erik Ramsgaard}",
year = "2016",
month = "6",
day = "27",
doi = "10.1007/s10796-016-9665-7",
language = "English",
volume = "18",
pages = "909–925",
journal = "Information Systems Frontiers",
issn = "1387-3326",
publisher = "Springer",
number = "5",

}

Formal modelling and analysis of Bitflips in ARM assembly code. / Hansen, Rene Rydhof; Larsen, Kim Guldstrand; Olesen, Mads Chr.; Wognsen, Erik Ramsgaard.

I: Information Systems Frontiers, Bind 18, Nr. 5, 27.06.2016, s. 909–925.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

TY - GEN

T1 - Formal modelling and analysis of Bitflips in ARM assembly code

AU - Hansen, Rene Rydhof

AU - Larsen, Kim Guldstrand

AU - Olesen, Mads Chr.

AU - Wognsen, Erik Ramsgaard

PY - 2016/6/27

Y1 - 2016/6/27

U2 - 10.1007/s10796-016-9665-7

DO - 10.1007/s10796-016-9665-7

M3 - Conference article in Journal

VL - 18

SP - 909

EP - 925

JO - Information Systems Frontiers

JF - Information Systems Frontiers

SN - 1387-3326

IS - 5

ER -