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 International Publishing AG
Published: 2016
Language: eng
ISBN-13: 9783319340951
Subjects: Operating systems (computers)