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
@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} }
ASTRail
SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation