Toward Formal Methods for Smart Cities.
Meiyi MaJohn A. StankovicLu FengPublished 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