The Uppaal SMC model and experiments published at RSSRail 2019

Software
Publication Date:
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
Iris type:
05.11 Software
Keywords:
UPPAAL; Formal methods; Railway
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/399694