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

Formal modeling for railway signaling using commercial tools

FANTECHI, ALESSANDRO;
2009

2009
The First NASA Formal Methods Symposium
NASA Ames Conference Center, Moffett Field, California, USA
April 2009
A. Ferrari; A. Fantechi; S. Bacherini; N. Zingoni
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/386562
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact