Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Dimitry Solet' in GoogleThis author has not been identified. Look up 'Jean-Luc Béchennec' in GoogleThis author has not been identified. Look up 'Mikaël Briday' in GoogleThis author has not been identified. Look up 'Sébastien Faucou' in GoogleThis author has not been identified. Look up 'Sébastien Pillement' in Google

runs on WebDSL