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]
@inproceedings{SamadiAM23,
title = {Statistical Model Checking based Analysis of Fault Trees and Power Consumption to Enhance Autonomous Systems Reliability},
author = {Ashkan Samadi and Marwan Ammar and Otmane Aït Mohamed},
year = {2023},
doi = {10.1109/NEWCAS57931.2023.10198045},
url = {https://doi.org/10.1109/NEWCAS57931.2023.10198045},
researchr = {https://researchr.org/publication/SamadiAM23},
cites = {0},
citedby = {0},
pages = {1-5},
booktitle = {21st IEEE Interregional NEWCAS Conference, NEWCAS 2023, Edinburgh, United Kingdom, June 26-28, 2023},
publisher = {IEEE},
isbn = {979-8-3503-0024-6},
}