Guest editorial for the special issue on formal methods for the quantitative evaluation of collective adaptive systems (FORECAST)
Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST)
Michele Loreti
2018-01-01
Abstract
Guest editorial for the special issue on formal methods for the quantitative evaluation of collective adaptive systems (FORECAST)File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
