Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems / Ferrando, A.; Malvone, V.. - 13616:(2022), pp. 140-152. (Intervento presentato al convegno 20th International Conference on Practical Applications of Agents and Multi-Agent Systems , PAAMS 2022 tenutosi a ita nel 2022) [10.1007/978-3-031-18192-4_12].
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems
Ferrando A.;
2022
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
2202.09344.pdf
Open access
Tipologia:
AAM - Versione dell'autore revisionata e accettata per la pubblicazione
Dimensione
361.74 kB
Formato
Adobe PDF
|
361.74 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris