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

2014

Other Open Access

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

Ter Beek M. H., Bortolussi L., Ciancia V., Gnesi S., Hillston J., Latella D., Massink M.

Smart cities formal methods quantitative analysis performance evaluation

It's smart to be fair. Researchers from the Formal Methods and Tools group of ISTI-CNR are 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.

Back to previous page

Cite as

BibTeX entry

@misc{oai:it.cnr:prodotti:320568,
	title = {A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities},
	author = {Ter Beek M.  H. and Bortolussi L. and Ciancia V. and Gnesi S. and Hillston J. and Latella D. and Massink M.},
	year = {2014}
}