Towards a reliable smart city through formal verification and network analysis.
Walid Miloud DahmaneSamir OuchaniHafida BouarfaPublished in: Comput. Commun. (2021)
Keyphrases
- network analysis
- formal verification
- smart city
- social network analysis
- model checking
- smart cities
- service integration
- model checker
- complex networks
- text mining
- bounded model checking
- network structure
- information networks
- community detection
- symbolic model checking
- link prediction
- dynamic networks
- automated verification
- graph clustering
- cost effective
- social networks
- graph theory
- temporal logic
- community structure