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

Rezultati

eNauka > Rezultati > Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP

Naziv:	Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP
Autori:	Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona ; Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan
Godina:	2023
Publikacija:	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 Pretraži identifikator
Izdavač:	Springer Cham
Tip rezultata:	Konferencijski rad
ISBN:	978-3-031-49252-5 Pretraži identifikator
Kolacija:	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
M-kategorija:	Mp kategorija će biti prikazana naknadno.

Alt metrika

Dimensions

Pronađi DOI

Pronalaženje DOI u servisu CrossRef-u na osnovu meta-podataka u zapisu. Prikazaće se DOI (i metapodaci) čiji se podaci najviše poklapaju. OPREZ - to ne mora biti ta publikacija.

Unpaywall

Google Scholar^TM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.