Trustworthy smart city systems using refinement and Event-B Theories.

Eman H. Alkhammash

Published in: Multim. Tools Appl. (2022)

Keyphrases

distributed systems
theoretical framework
computational models
expert systems
smart city
social media
event detection