Instantiating Generic Charts for Railway Interlocking Systems / M. BANCI; A. FANTECHI. - STAMPA. - (2005), pp. 134-143. (Intervento presentato al convegno Tenth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005) tenutosi a Lisbona nel September 2005).

Instantiating Generic Charts for Railway Interlocking Systems

FANTECHI, ALESSANDRO
2005
2005
Tenth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005)
Lisbona
September 2005
M. BANCI; A. FANTECHI
4a - Articolo in atti di congresso
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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