.
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
.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.