Autor:	Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi
Rok vydání:	2022
Zdroj:	Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::c8126ee35bf4b7ea737181da0eef6cd2 https://doi.org/10.1007/978-3-031-19759-8_18 Zobrazit plný text záznamu