Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer,

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems.- Dependability of Adaptable and Evolvable Distributed Systems.- Mean-Field Limits Beyond Ordinary Differential Equations.- Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools.- Spatial Representations and Analysis Techniques.- Spatial Logic and Spatial Model Checking for Closure Spaces.- Quantitative Abstractions for Collective Adaptive Systems.- Aggregate Programming: From Foundations to Applications.

• Format: Paperback
• Language: English
• ISBN: 3319340956
• ISBN13: 9783319340951
• Release Date: June 2016
• Publisher: Springer
• Length: 261 Pages
• Weight: 0.85 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"