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. A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News, 2014(98), 2014. [doi]