Davide Basile 0001, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò. Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker. Formal Asp. Comput., 33(6):957-987, 2021. [doi]
@article{BasileFRM21,
title = {Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker},
author = {Davide Basile 0001 and Alessandro Fantechi and Luigi Rucher and Gianluca Mandò},
year = {2021},
doi = {10.1007/s00165-021-00556-1},
url = {https://doi.org/10.1007/s00165-021-00556-1},
researchr = {https://researchr.org/publication/BasileFRM21},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {33},
number = {6},
pages = {957-987},
}