Browse by committee members
Now showing items 1-2 of 2
-
Formal modeling and analysis of resource usage and sharing in distributed software systems / Развој и анализа формалних модела за коришћење и дељење ресурса у дистрибуираним софтверским системима
(Универзитет у Новом Саду, Факултет техничких наука, 22-01-2020) -
Relativna ekspresivnost procesnih računa koji poseduju mogućnost adaptacije i dinamičkog ažuriranja tokom izvršavanja / Relative Expressiveness of Process Calculi with Dynamic Update and Runtime Adaptation
(Универзитет у Новом Саду, Факултет техничких наука, 13-01-2022)