Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection - Archive ouverte HAL Access content directly
Conference Papers Year : 2018
No file

Dates and versions

hal-01874233 , version 1 (14-09-2018)

Identifiers

Cite

Dimitry Solet, Mikaël Briday, Jean-Luc Béchennec, Sébastien Faucou, Sébastien Pillement. Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection. 14th European Dependable Computing Conference (EDCC), Sep 2018, Iasi, Romania. ⟨10.1109/edcc.2018.00016⟩. ⟨hal-01874233⟩
111 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More