Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (Forecast)

Ter Beek MH;
2018

2018
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Formal methods
Collective Adaptive Systems
system specification and verification
File in questo prodotto:
File Dimensione Formato  
prod_384382-doc_131324.pdf

solo utenti autorizzati

Descrizione: Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST)
Tipologia: Versione Editoriale (PDF)
Dimensione 71.73 kB
Formato Adobe PDF
71.73 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
prod_384382-doc_132808.pdf

accesso aperto

Descrizione: Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST)
Tipologia: Versione Editoriale (PDF)
Dimensione 345.76 kB
Formato Adobe PDF
345.76 kB Adobe PDF Visualizza/Apri

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: https://hdl.handle.net/20.500.14243/348418
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 3
social impact