Statistical Model Checking based Analysis of Fault Trees and Power Consumption to Enhance Autonomous Systems Reliability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ashkan Samadi, Marwan Ammar, Otmane Aït Mohamed. Statistical Model Checking based Analysis of Fault Trees and Power Consumption to Enhance Autonomous Systems Reliability. In 21st IEEE Interregional NEWCAS Conference, NEWCAS 2023, Edinburgh, United Kingdom, June 26-28, 2023. pages 1-5, IEEE, 2023. [doi]

This author has not been identified. Look up 'Ashkan Samadi' in GoogleThis author has not been identified. Look up 'Marwan Ammar' in GoogleThis author has not been identified. Look up 'Otmane Aït Mohamed' in Google

runs on WebDSL