EnglishThis report documents the program and the outcomes of Dagstuhl Seminar 14512 "Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis". Besides presentations on current work in the area, the seminar focused on the following topics: (i) Modelling techniques and languages for collective adaptive systems based on the above formalisms. (ii) Verification of collective adaptive systems. (iii) Humans-in-the-loop in collective adaptive systems.
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512) / Hillston, Jane; Pitt, Jeremy; Wirsing, Martin; Zambonelli, Franco. - In: DAGSTUHL REPORTS. - ISSN 2192-5283. - STAMPA. - 4(2014), pp. 68-113.
| Data di pubblicazione: | 2014 |
| Titolo: | Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512) |
| Autore/i: | Hillston, Jane; Pitt, Jeremy; Wirsing, Martin; Zambonelli, Franco |
| Autore/i UNIMORE: | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.4230/DagRep.4.12.68 |
| Rivista: | |
| Volume: | 4 |
| Pagina iniziale: | 68 |
| Pagina finale: | 113 |
| Citazione: | Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512) / Hillston, Jane; Pitt, Jeremy; Wirsing, Martin; Zambonelli, Franco. - In: DAGSTUHL REPORTS. - ISSN 2192-5283. - STAMPA. - 4(2014), pp. 68-113. |
| Tipologia | Articolo su rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti presenti in Iris Unimore sono rilasciati con licenza Creative Commons Attribuzione - Non commerciale - Non opere derivate 3.0 Italia, salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris
Copyright © 2020