Stratego formal models and experiments for the paper published at FORTE2020

Software
Data di Pubblicazione:
2020
Abstract:
This is the Uppaal Stratego model published at FORTE2020 https://link.springer.com/chapter/10.1007%2F978-3-030-50086-3_1
Tipologia CRIS:
05.11 Software
Keywords:
Stratego; UPPAAL; Railway; Formal model; Synthesis
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/399699
Link al Full Text: