Преглед по теми "concurrent systems"
Приказ резултата 1-2 од 2
-
Formal modeling and analysis of resource usage and sharing in distributed software systems / Развој и анализа формалних модела за коришћење и дељење ресурса у дистрибуираним софтверским системима
(Универзитет у Новом Саду, Факултет техничких наука, 22-01-2020) -
Types for Access and Memory Control / Типски системи за контролу меморије и права приступа
(Универзитет у Новом Саду, Факултет техничких наука, 16-11-2016)