Towards a reliable smart city through formal verification and network analysis - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Computer Communications Année : 2021
Fichier non déposé

Dates et versions

hal-04094161 , version 1 (10-05-2023)

Identifiants

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⟩
15 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More