Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... Notes in Computer Science Book 9700)

Marco Bernardo , Rocco De Nicola , Jane Hillston