A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities

Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink

Research output: Contribution to specialist publicationSpecial issue

Abstract

It’s smart to be fair. Researchers from the Formal Methods and Tools group of ISTICN Rare working on scalable analysis techniques to support smart applications for the efficient and equitable sharing of resources in the cities of our future. The research is being carried out under the European FET-Proactive project, QUANTICOL.
Original languageEnglish
Pages32-32
Number of pages1
Volume2014
Specialist publicationERCIM News
Publication statusPublished - 2014

Fingerprint

Dive into the research topics of 'A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities'. Together they form a unique fingerprint.

Cite this