Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection.

Dimitry Solet, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Sbastien Pillement

Browse the full EDCC paper archive.