2020
Software
Unknown
Stratego formal models and experiments for the paper published at FORTE2020
Basile D.
Stratego UPPAAL Railway Formal model Synthesis
This is the Uppaal Stratego model published at FORTE2020 https://link.springer.com/chapter/10.1007%2F978-3-030-50086-3_1
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:456753,
title = {Stratego formal models and experiments for the paper published at FORTE2020},
author = {Basile D.},
year = {2020}
}CNR authorsLaboratories
0000-0002-7196-6609