학술논문
Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP
Document Type
Conference Paper
Source
In: Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14390 LNCS:274-288)
Subject
Language
English
ISSN
16113349
03029743
03029743