{RVPLAN:} a general purpose framework for replanning using runtime verification / Ferrando, Angelo; Cardoso, Rafael C.. - (2021), pp. 22-25. (Intervento presentato al convegno 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, VORTEX 2021, co-located with ECOOP/ISSTA 2021 tenutosi a dnk nel 2021) [10.1145/3464974.3468447].
{RVPLAN:} a general purpose framework for replanning using runtime verification
Angelo Ferrando;
2021
File in questo prodotto:
Non ci sono file associati a questo prodotto.
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
