Analysing an autonomous tramway positioning system with the <scp>Uppaal</scp> Statistical Model Checker
Crossref DOI link: https://doi.org/10.1007/s00165-021-00556-1
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Basile, Davide http://orcid.org/0000-0002-7196-6609
Fantechi, Alessandro
Rucher, Luigi
Mandò, Gianluca
Text and Data Mining valid from 2021-12-01
Version of Record valid from 2021-12-01
Article History
Received: 7 August 2020
Revised: 27 May 2021
Accepted: 9 June 2021
First Online: 29 July 2021