Претрага по члановима комисија
Приказ резултата 1-2 од 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)