Formalization and Certification of Software for Smart Cities.

Erick Simas Grilo, Bruno Lopes

Browse the full IJCNN paper archive.