Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem. Model-Based Design of Resilient Systems Using Quantitative Risk Assessment. In Belgacem Ben Hedia, Yu-Fang Chen, GaiYun Liu, Zhenhua Yu, editors, Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings. Volume 12519 of Lecture Notes in Computer Science, pages 149-164, Springer, 2020. [doi]
@inproceedings{MediouniDNB20,
title = {Model-Based Design of Resilient Systems Using Quantitative Risk Assessment},
author = {Braham Lotfi Mediouni and Iulia Dragomir and Ayoub Nouri and Saddek Bensalem},
year = {2020},
doi = {10.1007/978-3-030-65955-4_11},
url = {https://doi.org/10.1007/978-3-030-65955-4_11},
researchr = {https://researchr.org/publication/MediouniDNB20},
cites = {0},
citedby = {0},
pages = {149-164},
booktitle = {Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings},
editor = {Belgacem Ben Hedia and Yu-Fang Chen and GaiYun Liu and Zhenhua Yu},
volume = {12519},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-65955-4},
}