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

Maurice H. ter Beek, Michele Loreti. Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Trans. Model. Comput. Simul., 28(2), 2018. [doi]

Authors

Maurice H. ter Beek

This author has not been identified. Look up 'Maurice H. ter Beek' in Google

Michele Loreti

This author has not been identified. Look up 'Michele Loreti' in Google