Browse by committee members
Now showing items 1-6 of 6
-
Formal modeling and analysis of resource usage and sharing in distributed software systems / Развој и анализа формалних модела за коришћење и дељење ресурса у дистрибуираним софтверским системима
(University of Novi Sad, Faculty of Technical Science, 22-01-2020) -
Model za utvrđivanje uticaja izdvojenih nesignalisanih pešačkih prelaza na nivo usluge gradskih saobraćajnica / The influence of an unsignalized midblock crosswalk on the level of service of urban street segments estimating model
(University of Novi Sad, Faculty of Technical Science, 09-10-2020) -
Parallel software system for counting finite models / Паралелни програмски систем за пребројавање коначних структура
(University of Novi Sad, Faculty of Technical Science, 28-02-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
(University of Novi Sad, Faculty of Technical Science, 13-01-2022) -
Types for Access and Memory Control / Типски системи за контролу меморије и права приступа
(University of Novi Sad, Faculty of Technical Science, 16-11-2016) -
Модел процене ефективности управљања заштићеним подручјима у АП Војводини / Model procene efektivnosti upravljanja zaštićenim područjima u AP Vojvodini
(University of Novi Sad, Faculty of Technical Science, 18-06-2021)