Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Springer Springer 2016
9783319340968
EBOOK
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Springer Springer 2016
9783319340968
EBOOK
