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

2022
20th International Conference on Practical Applications of Agents and Multi-Agent Systems , PAAMS 2022
ita
2022
13616
140
152
Ferrando, A.; Malvone, V.
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].
File in questo prodotto:
File Dimensione Formato  
2202.09344.pdf

Open access

Tipologia: 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

Licenza Creative Commons
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1331828
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? ND
social impact