"Static Race Detection for RTOS Applications."

Rishi Tulsyan, Rekha R. Pai, Deepak D'Souza (2020)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2022-03-31

a service of  Schloss Dagstuhl - Leibniz Center for Informatics