Analysing an autonomous tramway positioning system with the \textsc{Uppaal} statistical model checker

DOI10.1007/S00165-021-00556-1MaRDI QIDQ2065535zbMATH OpenOpenAlexFDO

Authors D. Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò

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

zbMATH Keywords

autonomous positioning systemrailwaysignallingstatistical model checkingUppaal

Mathematics Subject Classification ID

Computer science (68-XX)

Describes a project that uses

Uses Software

• mCRL2
• Maude
• RabbitMQ
• Uppaal
• GitHub

This page was built for publication: Analysing an autonomous tramway positioning system with the \textsc{Uppaal} statistical model checker

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2065535)