Researchers
Prokić, Ivan
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2024 | Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP![]() | Prokić, Ivan | Book parts | Mp. category will be shown later |
