Data di Pubblicazione:
2019
Abstract:
The Uppaal SMC model and experiments published at RSSRail 2019
https://link.springer.com/chapter/10.1007%2F978-3-030-18744-6_3
Tipologia CRIS:
05.11 Software
Keywords:
UPPAAL; Formal methods; Railway
Elenco autori:
Basile, Davide
Link alla scheda completa: