Toward Formal Methods for Smart Cities.

Meiyi Ma John A. Stankovic Lu Feng

Published in: Computer (2021)

Keyphrases

formal methods
smart cities
smart city
world wide
service integration
model checking
knowledge based systems

information and communication technologies
formal specification
artificial intelligence
software engineering
dynamic integration
user centered

service composition
case study
web services
website
databases
entry point

project aims to develop
modeling language
network architecture
information resources
low cost
neural network