Formal Techniques for Distributed Objects, Components, and Systems
Subtitle: 43rd IFIP WG 6. 1 International Conference, FORTE 2023, Held As Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
Publisher: Springer
Published: 2023
Language: eng
ISBN-13: 9783031353543