Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa. Towards a reliable smart city through formal verification and network analysis. Computer Communications, 180:171-187, 2021. [doi]
@article{DahmaneOB21-0,
title = {Towards a reliable smart city through formal verification and network analysis},
author = {Walid Miloud Dahmane and Samir Ouchani and Hafida Bouarfa},
year = {2021},
doi = {10.1016/j.comcom.2021.09.006},
url = {https://doi.org/10.1016/j.comcom.2021.09.006},
researchr = {https://researchr.org/publication/DahmaneOB21-0},
cites = {0},
citedby = {0},
journal = {Computer Communications},
volume = {180},
pages = {171-187},
}