Formal modelling and analysis of Bitflips in ARM assembly code

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)
Original languageEnglish
JournalInformation Systems Frontiers
Volume18
Issue number5
Pages (from-to)909–925
Number of pages17
ISSN1387-3326
DOIs
Publication statusPublished - 27 Jun 2016

Cite this