Guest Editorial for the Special Issue on FORmal methods for...

ACM Transactions on Modeling and Computer Simulation 2018 / 02 Vol. 28; Iss. 2

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

Beek, Maurice H. Ter, Loreti, Michele
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
28
Language:
english
Journal:
ACM Transactions on Modeling and Computer Simulation
DOI:
10.1145/3177772
Date:
February, 2018
File:
PDF, 72 KB
english, 2018
Conversion to is in progress
Conversion to is failed