2020
Software
Open Access
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