Претрага по менторима
Приказ резултата 1-4 од 4
-
Clones of Nondeterministic Operations / Клонови недетерминистичких операција
(Универзитет у Новом Саду, Факултет техничких наука, 02-06-2022) -
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) -
Types for Access and Memory Control / Типски системи за контролу меморије и права приступа
(Универзитет у Новом Саду, Факултет техничких наука, 16-11-2016)