Contains the keyword concurrent

Bajczi L, Vörös A, Molnár V. Will My Program Break on This Faulty Processor? - Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software. ACM Trans. Embed. Comput. Syst.. 2019;18:89:1-89:21. Abstract

BibTex