.

Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components / Limbrée, Christophe; Haxthausen, Anne E.; Gori, Gloria; Fantechi, Alessandro. - ELETTRONICO. - (2024), pp. 127-141. (Intervento presentato al convegno ISoLA 2024 tenutosi a Iràklion, Grecia) [10.1007/978-3-031-75390-9_9].

Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components

Gori, Gloria;Fantechi, Alessandro
2024

Abstract

.
2024
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas. ISoLA 2024.
ISoLA 2024
Iràklion, Grecia
Goal 9: Industry, Innovation, and Infrastructure
Limbrée, Christophe; Haxthausen, Anne E.; Gori, Gloria; Fantechi, Alessandro
File in questo prodotto:
File Dimensione Formato  
main-isola2024.pdf

Accesso chiuso

Tipologia: Pdf editoriale (Version of record)
Licenza: Solo lettura
Dimensione 975.41 kB
Formato Adobe PDF
975.41 kB Adobe PDF   Richiedi una copia

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