2019
Software
Restricted
The Uppaal SMC model and experiments published at RSSRail 2019
Basile D
UPPAAL Formal methods Railway
The Uppaal SMC model and experiments published at RSSRail 2019 https://link.springer.com/chapter/10.1007%2F978-3-030-18744-6_3
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:456748,
title = {The Uppaal SMC model and experiments published at RSSRail 2019},
author = {Basile D},
year = {2019}
}CNR authorsLaboratories
0000-0002-7196-6609