Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
Effective Verification for Low-Level Software with Competing Interrupts
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
Effective Verification for Low-Level Software with Competing Interrupts
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
Effective Verification for Low-Level Software with Competing Interrupts
Browse
All of QMRO
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Administrators only
Login
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
Effective Verification for Low-Level Software with Competing Interrupts
View/
Open
Accepted version (246.5Kb)
Volume
17
DOI
10.1145/3147432
Journal
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
Issue
2
ISSN
1539-9087
Metadata
Show full item record
Authors
Liang, L; Melham, T; Kroening, D; Schrammel, P; Tautschnig, M
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/31940
Collections
Electronic Engineering and Computer Science
[3133]
Licence information
This is a pre-copyedited, author-produced version of an article accepted for publication in ACM Transactions on Embedded Computing Systems following peer review. The version of record is available https://dl.acm.org/citation.cfm?doid=3160927.3147432
Copyright statements
© 2017 Association for Computing Machinery