.

Future Train Control Systems: Challenges for Dependability Assessment / Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria. - ELETTRONICO. - 13704:(2022), pp. 269-285. (Intervento presentato al convegno ISoLA (Leveraging Applications of Formal Methods, Verification and Validation Practice) tenutosi a Rhodes, Greece nel 22-30 Ottobre 2022) [10.1007/978-3-031-19762-8_21].

Future Train Control Systems: Challenges for Dependability Assessment

Fantechi, Alessandro;Gori, Gloria
2022

Abstract

.
2022
Leveraging Applications of Formal Methods, Verification and Validation Practice, 11th International Symposium, ISoLA 2022 Rhodes, Greece, October 22–30, 2022 Proceedings, Part IV
ISoLA (Leveraging Applications of Formal Methods, Verification and Validation Practice)
Rhodes, Greece
22-30 Ottobre 2022
Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria
4a - Articolo in atti di congresso
File in questo prodotto:
File Dimensione Formato  
ISoLA_2022_Survey (6).pdf

accesso aperto

Tipologia: Pdf editoriale (Version of record)
Licenza: Tutti i diritti riservati
Dimensione 205.07 kB
Formato Adobe PDF
205.07 kB Adobe PDF

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

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1295079
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact