Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills
  1. Outputs

Stratego formal models and experiments for the paper published at FORTE2020

Software
Publication Date:
2020
abstract:
This is the Uppaal Stratego model published at FORTE2020 https://link.springer.com/chapter/10.1007%2F978-3-030-50086-3_1
Iris type:
05.11 Software
Keywords:
Stratego; UPPAAL; Railway; Formal model; Synthesis
List of contributors:
Basile, Davide
Authors of the University:
BASILE DAVIDE
Handle:
https://iris.cnr.it/handle/20.500.14243/399699
Full Text:
https://iris.cnr.it//retrieve/handle/20.500.14243/399699/126071/prod_456753-doc_176905.zip
  • Overview

Overview

URL

https://github.com/davidebasile/FORTE2020
  • Use of cookies

Powered by VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)