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