2019
Software
Unknown
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}
}
0000-0002-7196-6609CNR ExploRA