Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Bortolussi L., Ciancia V., Gnesi S., Hillston J., Latella D., Massink M. A quantitative approach to the design and analysis of collective adaptive systems for smart cities. In: ERCIM News, vol. 98 pp. 32 - 32. Special issue: Smart Cities. ERCIM, 2014.
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.
URL: http://ercim-news.ercim.eu/en98/special/a-quantitative-approach-to-the-design-and-analysis-of-collective-adaptive-systems-for-smart-cities
Subject Model checking
Collective Adaptive Systems
Scalable analysis techniques
Bike-sharing systems
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking
D.2.4 Software/Program Verification. Validation

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional