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
-
- $39.99
-
- $39.99
Publisher Description
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
Computers & Internet
RELEASED
2016
June 10
LANGUAGE
EN
English
LENGTH
268
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
6.7
MB
More Books Like This
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
2022
Formal Aspects of Component Software
2018
Models, Algorithms, Logics and Tools
2017
Quantitative Evaluation of Systems
2019
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
2020
From Reactive Systems to Cyber-Physical Systems
2019