@inproceedings{solet:hal-01874233,
TITLE = {Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection},
AUTHOR = {Solet, Dimitry and Briday, Mika{\"e}l and B{\'e}chennec, Jean-Luc and Faucou, S{\'e}bastien and Pillement, S{\'e}bastien},
URL = {https://hal.science/hal-01874233},
BOOK
TITLE = {14th European Dependable Computing Conference (EDCC)},
ADDRESS = {Iasi, Romania},
SERIES = {14th European Dependable Computing Conference (EDCC)},
YEAR = {2018},
MONTH = Sep, DOI = {10.1109/edcc.2018.00016},
HAL_ID = {hal-01874233},
HAL_VERSION = {v1},
}