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

Towards a reliable smart city through formal verification and network analysis

Fichier principal
Vignette du fichier
comcom.pdf (10.84 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04094161 , version 1 (14-05-2024)

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