Search




Research outputs

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, Ivan  

Filters

By type