Browse by committee members
Now showing items 1-3 of 3
-
Formal modeling and analysis of resource usage and sharing in distributed software systems / Развој и анализа формалних модела за коришћење и дељење ресурса у дистрибуираним софтверским системима
(University of Novi Sad, Faculty of Technical Science, 22-01-2020) -
Parallel software system for counting finite models / Паралелни програмски систем за пребројавање коначних структура
(University of Novi Sad, Faculty of Technical Science, 28-02-2020) -
Types for Access and Memory Control / Типски системи за контролу меморије и права приступа
(University of Novi Sad, Faculty of Technical Science, 16-11-2016)