Antonio Coronato, Vincenzo De Florio, Mohamed Bakhouya, Giovanna Di Marzo Serugendo. Formal Modeling of Socio-technical Collective Adaptive Systems. In Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Lyon, France, September 10-14, 2012. pages 187-192, IEEE Computer Society, 2012. [doi]
Abstract is missing.