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
Ferrari A;Gnesi S
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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_362796-doc_119512.pdf
solo utenti autorizzati
Descrizione: Formal methods and safety certification: Challenges in the railways domain
Tipologia:
Versione Editoriale (PDF)
Dimensione
133.16 kB
Formato
Adobe PDF
|
133.16 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
prod_362796-doc_119513.pdf
non disponibili
Descrizione: Formal methods and safety certification: Challenges in the railways domain_1
Tipologia:
Versione Editoriale (PDF)
Dimensione
84.85 kB
Formato
Adobe PDF
|
84.85 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.