Резултати

еНаука >  Резултати >  Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP
Назив: Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP
Аутори: Prokić, Ivan  ; Ghilezan, Silvia  ; Kašterović, Simona  ; Popović, Miroslav  ; Popović, Marko; Kaštelan, Ivan  
Година: 2023
Публикација: International Conference on the Engineering of Computer Based Systems (ECBS 2023) (8 ; 2023 ; Västerås, Sweden)
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Претражи идентификатор
Издавач: Springer Cham
Тип резултата: Конференцијски рад
ISBN: 978-3-031-49252-5 Претражи идентификатор
Колација: str. 274-288
DOI: 10.48550/arXiv.2306.14529
URI: https://enauka.gov.rs/handle/123456789/833701
http://researchrepository.mi.sanu.ac.rs/handle/123456789/5175
М-категорија: 
Мп категорија ће бити приказана накнадно.

Алт метрика
Dimensions

Пронађи DOI

Unpaywall

Google ScholarTM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.