Runtime Verification via Rational Monitor with Imperfect Information / Ferrando, A., Malvone, V.. - In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. - ISSN 1049-331X. - 35:3(2026), pp. N/A-N/A. [10.1145/3735130]
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
2408.11627v1.pdf
Accesso riservato
Tipologia:
AO - Versione originale dell'autore proposta per la pubblicazione
Dimensione
986.32 kB
Formato
Adobe PDF
|
986.32 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
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
