Dimitry Solet, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Sébastien Pillement. Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection. In 14th European Dependable Computing Conference, EDCC 2018, Iași, Romania, September 10-14, 2018. pages 25-32, IEEE Computer Society, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.