Document - Presentation of the paper entitled Modelling, Verifying and Testing the Contract Automata Runtime Environment with UPPAAL

2024

Other Open Access

Presentation of the paper entitled Modelling, Verifying and Testing the Contract Automata Runtime Environment with UPPAAL

Davide Basile

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...

Back to previous page

Cite as

BibTeX entry

@misc{oai:iris.cnr.it:20.500.14243/480084,
	title = {Presentation of the paper entitled Modelling, Verifying and Testing the Contract Automata Runtime Environment with UPPAAL},
	author = {Davide Basile},
	year = {2024}
}