Edinburgh Research Explorer

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

Research output: Contribution to specialist publicationSpecial issue

Original languageEnglish
Number of pages1
JournalERCIM News
Publication statusPublished - 2014


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.

ID: 25100330