Analysing an autonomous tramway positioning system with the \textsc{Uppaal} statistical model checker
From MaRDI portal
Publication:2065535
DOI10.1007/s00165-021-00556-1OpenAlexW3192789951MaRDI QIDQ2065535
Alessandro Fantechi, Luigi Rucher, Gianluca Mandò, Davide Basile
Publication date: 11 January 2022
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-021-00556-1
Uses Software