Browse by Journal

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article
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). 36:1-36:26. ISSN 1539-9087

This list was generated on Thu Dec 9 07:20:42 2021 GMT.