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

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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11581/406731
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact