CINECA IRIS Institutional Research Information System

Real-Time Guarantees for SLCS Monitors in XC

Audrito G.;Damiani F.;Torta G.
2024-01-01
2024
7th Workshop on Verification and Monitoring at Runtime Execution
Vienna
19/09/2024
VORTEX 2024: Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution
ACM
32
37
Audrito G.; Damiani F.; Torta G.
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
vortex-24.pdf

Accesso aperto

Descrizione: PDF Editoriale
Tipo di file: PDF EDITORIALE
Dimensione 220.54 kB
Formato Adobe PDF
Visualizza/Apri
220.54 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

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