Formalization and Certification of Software for Smart Cities.

Erick Simas Grilo Bruno Lopes

Published in: IJCNN (2018)

Keyphrases

smart cities
software development
entry point
exam preparation
smart city
third party
service integration