An industrial application of formal model based development: the Metro Rio ATP case / A. Ferrari; A. Fantechi; D. Grasso; M. Papini.. - STAMPA. - (2010), pp. 0-0. ((Intervento presentato al convegno 2nd International Workshop on Software Engineering for Resilient Systems (SERENE 2010) tenutosi a Londra, UK nel Aprile 2010.

An industrial application of formal model based development: the Metro Rio ATP case

FANTECHI, ALESSANDRO;
2010

2nd International Workshop on Software Engineering for Resilient Systems (SERENE 2010)
Londra, UK
Aprile 2010
A. Ferrari; A. Fantechi; D. Grasso; M. Papini.
File in questo prodotto:
File Dimensione Formato  
SERENE10.pdf

accesso aperto

Tipologia: Versione finale referata (Postprint, Accepted manuscript)
Licenza: Open Access
Dimensione 1.62 MB
Formato Adobe PDF
1.62 MB Adobe PDF Visualizza/Apri

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2158/388251
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
social impact