Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems (Lecture Notes in Computer Science, Band 9700)

Evaluation

von: Marco Bernardo · Rocco De Nicola · Jane Hillston

Taschenbuch

ISBN: 978-3-319-34095-1

ISBN-10: 3-319-34095-6

Springer · 2016