Towards a reliable smart city through formal verification and network analysis
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Samir Ouchani : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04094161
Soumis le : mardi 14 mai 2024-13:06:05
Dernière modification le : vendredi 17 mai 2024-14:36:11