Резултати

еНаука >  Резултати >  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  ; Popovic, Miroslav  ; Popovic, Marko; Kaštelan, Ivan  
Година: 2024
Публикација: Engineering of Computer-Based Systems
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Претражи идентификатор
Издавач: Springer Nature
Тип резултата: Поглавље у монографији
ISBN: 978-3-031-49251-8 Претражи идентификатор
Колација: vol. 14390 str. 274-288
DOI: 10.1007/978-3-031-49252-5_25
Scopus-ID: 2-s2.0-85180152661
URI: https://enauka.gov.rs/handle/123456789/889675
Извор метаподатака: (Preuzeto iz CrossRef-a) Kaštelan, Ivan
М-категорија: 
Мп категорија ће бити приказана накнадно.

Алт метрика
Dimensions

Пронађи DOI

Unpaywall

Google ScholarTM

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