Search




Research outputs

Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP   [2024]

Prokić, Ivan  ; Ghilezan, Silvia  ; Kašterović, Simona  ; Popovic, Miroslav  ; Popovic, Marko; Kaštelan, Ivan  

A Federated Learning Algorithms Development Paradigm   [2024]

Popovic, Miroslav  ; Popovic, Marko; Kastelan, Ivan  ; Djukic, Miodrag  ; Basicevic, Ilija  

Filters

By type