- Partecipa a commessa
- Autore CNR di
- Deadlock avoidance in train scheduling: A model checking approach (Contributo in atti di convegno) (Prodotto della ricerca)
- CBTC.ATS.0003_00_03 ATS Specifica dei requisiti di Sistema (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- CBTC.ATS.006_00_03 Documentazione prototipo ATS (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Coautore
- ALESSIO FERRARI (Unità di personale interno)
- FRANCO MAZZANTI (Unità di personale interno)
- GIORGIO ORONZO SPAGNOLO (Persona)
- Giorgio Oronzo Spagnolo (Unità di personale esterno)
Incoming links:
- Coautore
- FRANCO MAZZANTI (Unità di personale interno)
- Giorgio Oronzo Spagnolo (Unità di personale esterno)
- ALESSIO FERRARI (Unità di personale interno)
- GIORGIO ORONZO SPAGNOLO (Persona)
- Partecipazione di
- Autore CNR
- Deadlock avoidance in train scheduling: A model checking approach (Contributo in atti di convegno) (Prodotto della ricerca)
- CBTC.ATS.006_00_03 Documentazione prototipo ATS (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- CBTC.ATS.0003_00_03 ATS Specifica dei requisiti di Sistema (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
