Document - Deadlock free dispatching for fleets of vehicles

2017

Contribution to conference Open Access

Deadlock free dispatching for fleets of vehicles

Mazzanti F., Ferrari A., Spagnolo G. O.

UMC Model Checking formal models

Formalizzazione e verifica di un algorithmo di dispatching deadlock free.

Source: Forum Méthodes Formelles - "Véhicules Autonomes et Méthodes Formelles", Toulouse FRANCE, 10/10/2017

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:408349,
	title = {Deadlock free dispatching for fleets of vehicles},
	author = {Mazzanti F. and Ferrari A. and Spagnolo G. O.},
	booktitle = {Forum Méthodes Formelles - "Véhicules Autonomes et Méthodes Formelles", Toulouse FRANCE, 10/10/2017},
	year = {2017}
}