Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan. Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP. In Jan Kofron, Tiziana Margaria, Cristina Seceleanu, editors, Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings. Volume 14390 of Lecture Notes in Computer Science, pages 274-288, Springer, 2023. [doi]

This author has not been identified. Look up 'Ivan Prokic' in GoogleThis author has not been identified. Look up 'Silvia Ghilezan' in GoogleThis author has not been identified. Look up 'Simona Kasterovic' in GoogleThis author has not been identified. Look up 'Miroslav Popovic' in GoogleThis author has not been identified. Look up 'Marko Popovic' in GoogleThis author has not been identified. Look up 'Ivan Kastelan' in Google

runs on WebDSL