This is the presentation of the paper entitled "Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal" by Davide Basile, presented at Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, https://doi.org/10.1007/978-3-031-626...
Presentation of the paper entitled Modelling, Verifying and Testing the Contract Automata Runtime Environment with UPPAAL
Davide Basile
2024
Abstract
This is the presentation of the paper entitled "Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal" by Davide Basile, presented at Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, https://doi.org/10.1007/978-3-031-626...File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
COORDINATION 2024.zip
non disponibili
Descrizione: video
Tipologia:
Altro materiale allegato
Licenza:
Altro tipo di licenza
Dimensione
122.94 MB
Formato
Unknown
|
122.94 MB | Unknown | Visualizza/Apri Richiedi una copia |
|
presentation.pdf
accesso aperto
Descrizione: slides
Tipologia:
Altro materiale allegato
Licenza:
Altro tipo di licenza
Dimensione
1.78 MB
Formato
Adobe PDF
|
1.78 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
