Formal modelling and analysis of Bitflips in ARM assembly code

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Original language	English
Journal	Information Systems Frontiers
Volume	18
Issue number	5
Pages (from-to)	909–925
Number of pages	17
ISSN	1387-3326
DOIs	https://doi.org/10.1007/s10796-016-9665-7
Publication status	Published - 27 Jun 2016

Access to Document

@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 = jun,

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",

}

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 -