Results

eNauka >  Results >  Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT
Title: Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT
Authors: Djukic, Miodrag M  ; Prokic, Ivan  ; Popovic, Miroslav  ; Ghilezan, Silvia  ; Popovic, Marko; Prokic, Simona  
Issue Date: 2025
Publication: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
ISSN: 1433-2779 International Journal on Software Tools for Technology Transfer / STTT Search Idenfier
Publisher: Springer
Type: Article
DOI: 10.1007/s10009-025-00795-0
WoS-ID: 001475883900001
Scopus-ID: 2-s2.0-105003740675
URI: https://enauka.gov.rs/handle/123456789/980778
Project: European Union [101093006]
Metadata source: (Preuzeto iz Nasi u WoS)
M-category: 
22M22

4
SCOPUSTM
1
WEB OF SCIENCETM
Altmetric
Dimensions
Unpaywall

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.