Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More