Formal Development for Railway Signaling Using Commercial Tools / A. Ferrari; A. Fantechi; S. Bacherini; N. Zingoni. - STAMPA. - 5825:(2009), pp. 197-198. (Intervento presentato al convegno Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009 tenutosi a Eindhoven, NL nel Novembre 2009).

Formal Development for Railway Signaling Using Commercial Tools

FANTECHI, ALESSANDRO;
2009

2009
Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009
Eindhoven, NL
Novembre 2009
A. Ferrari; A. Fantechi; S. Bacherini; N. Zingoni
File in questo prodotto:
File Dimensione Formato  
FMICS09.pdf

accesso aperto

Tipologia: Versione finale referata (Postprint, Accepted manuscript)
Licenza: Open Access
Dimensione 544.88 kB
Formato Adobe PDF
544.88 kB Adobe PDF

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