Browse by Journal

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

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 Fri Feb 23 06:46:29 2018 GMT.