Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Marco Bernardo und andere
    • 42,99 €
    • 42,99 €

Beschreibung des Verlags

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 Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016. 
SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, scalable quantitative analysis, spatio-temporal models, and aggregate programming.

GENRE
Computer und Internet
ERSCHIENEN
2016
10. Juni
SPRACHE
EN
Englisch
UMFANG
268
Seiten
VERLAG
Springer International Publishing
GRÖSSE
6,7
 MB

Mehr Bücher von Marco Bernardo, Rocco De Nicola & Jane Hillston

Formal Methods for Multicore Programming Formal Methods for Multicore Programming
Formal Methods for Multicore Programming
2015
Formal Methods for Web Services Formal Methods for Web Services
Formal Methods for Web Services
2009
Formal Methods for Eternal Networked Software Systems Formal Methods for Eternal Networked Software Systems
Formal Methods for Eternal Networked Software Systems
2011
Formal Methods for Performance Evaluation Formal Methods for Performance Evaluation
Formal Methods for Performance Evaluation
2007
Computer Performance Engineering Computer Performance Engineering
Computer Performance Engineering
2010
Formal Methods for Computational Systems Biology Formal Methods for Computational Systems Biology
Formal Methods for Computational Systems Biology
2008