Pretraga
Rezultati
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP (✓) [2023]
Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona ; Popović, Miroslav ; Popović, Marko; Kaštelan, IvanFilteri
Po tipu