Elton Ferreira Broering, Leandro Buss Becker. Applying Runtime Verification in Real-Time Systems with FreeRTOS. In XII Brazilian Symposium on Computing Systems Engineering, SBESC 2022, Fortaleza, CE, Brazil, November 21-24, 2022. pages 1-6, IEEE, 2022. [doi]
Abstract is missing.