Formal modeling for railway signaling using commercial tools / A. Ferrari; A. Fantechi; S. Bacherini; N. Zingoni. - ELETTRONICO. - (2009), pp. 166-170. (Intervento presentato al convegno The First NASA Formal Methods Symposium tenutosi a NASA Ames Conference Center, Moffett Field, California, USA nel April 2009).
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
NFM2009AFAF.pdf
accesso aperto
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Open Access
Dimensione
107.77 kB
Formato
Adobe PDF
|
107.77 kB | Adobe PDF |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
