The railway signalling sector has historically been a source of success stories about the adoption of formal methods in the certification of software safety of computer-based control equipment...

Formal methods and safety certification: Challenges in the railways domain / Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania. - STAMPA. - (2016), pp. 261-265. [10.1007/978-3-319-47169-3_18]

Formal methods and safety certification: Challenges in the railways domain

FANTECHI, ALESSANDRO;FERRARI, ALESSIO;GNESI, STEFANIA
2016

Abstract

The railway signalling sector has historically been a source of success stories about the adoption of formal methods in the certification of software safety of computer-based control equipment...
2016
Springer Verlag
Margaria T., Steffen B.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania
2c - Prefazione/postfazione
File in questo prodotto:
File Dimensione Formato  
chp%3A10.1007%2F978-3-319-47169-3_18.pdf

Accesso chiuso

Tipologia: Pdf editoriale (Version of record)
Licenza: DRM non definito
Dimensione 105.63 kB
Formato Adobe PDF
  Richiedi una copia
105.63 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/1074776
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 7
social impact