Filter
Søkt på: Søkeresultat
Filter
1 treff
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
heftet,
2016,
Engelsk,
ISBN 9783319340951
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and …