Towards effective preservation of robust safety properties / Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio. - (2022), pp. 1674-1683. ( 37th ACM/SIGAPP Symposium on Applied Computing Virtual Event April 25 - 29, 2022) [10.1145/3477314.3507084].

Towards effective preservation of robust safety properties

Degano, Pierpaolo;Galletta, Letterio
2022

2022
9781450387132
File in questo prodotto:
File Dimensione Formato  
3477314.3507084.pdf

non disponibili

Tipologia: Versione Editoriale (PDF)
Licenza: Nessuna licenza
Dimensione 1.47 MB
Formato Adobe PDF
1.47 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/20.500.11771/21039
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
social impact