 | Up a level |
Group by: Item Type | No Grouping
Number of items: 1.
Liang, Lihao, Melham, Tom, Kroening, Daniel, Schrammel, Peter and Tautschnig, Michael (2017) Effective verification for low-level software with competing interrupts. ACM Transactions on Embedded Computing Systems, 17 (2). a36 1-26. ISSN 1539-9087