Formalizzazione e verifica di un algorithmo di dispatching deadlock free.
Deadlock free dispatching for fleets of vehicles
Mazzanti F;Ferrari A;Spagnolo GO
2017
Abstract
Formalizzazione e verifica di un algorithmo di dispatching deadlock free.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_408349-doc_143281.pdf
accesso aperto
Descrizione: Deadlock free dispatching for fleets of vehicles
Tipologia:
Versione Editoriale (PDF)
Dimensione
2.21 MB
Formato
Adobe PDF
|
2.21 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
