This Festschrift contains 18 contributions by collaborators, colleagues and friends of Alessandro Fantechi to celebrate his 70th birthday.

Preface to Journeys between formal methods and the railway industry. Essays dedicated to Alessandro Fantechi on the occasion of his 70th birthday

ter Beek Maurice Henri
;
Gnesi Stefania;
2026

Abstract

This Festschrift contains 18 contributions by collaborators, colleagues and friends of Alessandro Fantechi to celebrate his 70th birthday.
2026
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
9783032124838
9783032124845
Formal Methods; Railway domain; Safety-critical systems; Verification; Industrial critical systems; Embedded systems; Dependable systems; Software certification; Reliability
File in questo prodotto:
File Dimensione Formato  
AF70front.pdf

accesso aperto

Descrizione: Journeys Between Formal Methods and the Railway Industry. Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday. Preface
Tipologia: Versione Editoriale (PDF)
Licenza: Altro tipo di licenza
Dimensione 3.52 MB
Formato Adobe PDF
3.52 MB 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/20.500.14243/566483
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact