On Model-Based Performance Analysis of Collective Adaptive Systems

Autor:	Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto
Rok vydání:	2022
Zdroj:	Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
DOI:	10.1007/978-3-031-19759-8_17
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::9142847af0b46b90551c682ec42a9c7b https://doi.org/10.1007/978-3-031-19759-8_17 Zobrazit plný text záznamu