Formal Techniques for Distributed Objects, Components, and Systems
Subtitle: 44th IFIP WG 6. 1 International Conference, FORTE 2024, Held As Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, the Netherlands, June 17-21, 2024, Proceedings
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031626449