Article Dans Une Revue
Computer Communications
Année : 2021
Samir Ouchani : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04094161
Soumis le : mercredi 10 mai 2023-17:29:14
Dernière modification le : jeudi 11 mai 2023-04:05:59
Citer
Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa. Towards a reliable smart city through formal verification and network analysis. Computer Communications, 2021, 180, pp.171-187. ⟨10.1016/j.comcom.2021.09.006⟩. ⟨hal-04094161⟩
Collections
15
Consultations
0
Téléchargements