Document is current
Any future updates will be listed below
-
Authors
Rousseaux, Tom https://orcid.org/0009-0004-9590-3241
Crochet, Christophe https://orcid.org/0000-0001-8635-2098
Aoga, John https://orcid.org/0000-0002-7213-146X
Legay, Axel https://orcid.org/0000-0003-2287-8925
- License Information
-
More Information
Chapter History
First Online: 13 June 2024
Artefacts
: The artefacts of this paper are available at.
Conference Information
Conference Acronym: FORTE
Conference Name: International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Conference City: Groningen
Conference Country: The Netherlands
Conference Year: 2024
Conference Start Date: 17 June 2024
Conference End Date: 21 June 2024
Conference Number: 44
Conference ID: forte2024
