Formal modelling and analysis of Bitflips in ARM assembly code
Crossref DOI link: https://doi.org/10.1007/s10796-016-9665-7
Published Online: 2016-06-27
Published Print: 2016-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Hansen, René Rydhof
Larsen, Kim Guldstrand
Olesen, Mads Chr.
Wognsen, Erik Ramsgaard
Funding for this research was provided by:
SENSATION project (318490)
Text and Data Mining valid from 2016-06-27
Version of Record valid from 2016-06-27
Article History
First Online: 27 June 2016