Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Subtitle: 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
Publisher: Springer London, Limited
Published: 2016
Language: eng
ISBN-13: 9783319340968
Subjects: Operating systems (computers)