Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems / Ferrando, A.; Malvone, V.. - 13616:(2022), pp. 140-152. ( 20th International Conference on Practical Applications of Agents and Multi-Agent Systems , PAAMS 2022 ita 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
