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

Academic Article

Publication Date:

2018

Iris type:

01.07 Editoriale in rivista

Keywords:

Formal methods; Collective Adaptive Systems; system specification and verification

List of contributors:

Authors of the University:

TER BEEK MAURICE HENRI

Handle:

Full Text:

Published in:

Journal

URL