Formal modelling and analysis of Bitflips in ARM assembly...

Information Systems Frontiers 2016 / 10 Vol. 18; Iss. 5

Formal modelling and analysis of Bitflips in ARM assembly code

Hansen, René Rydhof, Larsen, Kim Guldstrand, Olesen, Mads Chr., Wognsen, Erik Ramsgaard
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
18
Language:
english
Journal:
Information Systems Frontiers
DOI:
10.1007/s10796-016-9665-7
Date:
October, 2016
File:
PDF, 2.03 MB
english, 2016
Conversion to is in progress
Conversion to is failed