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
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 |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
