In questo documento riportiamo il lavoro svolto nell'ambito del progetto pilota Specifica e verifica formale di un sottosistema software di controllo ferroviario. Gli enti che hanno collaborato a tale progetto sono l' Ansaldo Trasporti di Genova, il Dipartimento di Ingegneria dell'Informazione di Pisa e l'Istituto di Elaborazione dell'Informazione del CNR di Pisa (lEI).
Specifica e verifica formale di un sottosistema software di controllo ferroviario
Fantechi A;Gnesi S;
1995
Abstract
In questo documento riportiamo il lavoro svolto nell'ambito del progetto pilota Specifica e verifica formale di un sottosistema software di controllo ferroviario. Gli enti che hanno collaborato a tale progetto sono l' Ansaldo Trasporti di Genova, il Dipartimento di Ingegneria dell'Informazione di Pisa e l'Istituto di Elaborazione dell'Informazione del CNR di Pisa (lEI).File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_408401-doc_143308.pdf
accesso aperto
Descrizione: Specifica e verifica formale di un sottosistema software di controllo ferroviario
Tipologia:
Altro materiale allegato
Licenza:
Nessuna licenza dichiarata (non attribuibile a prodotti successivi al 2023)
Dimensione
15.42 MB
Formato
Adobe PDF
|
15.42 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
