Browsing by Subject "Pajton"
Now showing items 1-2 of 2
-
Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze / Formally verified fault tolerant distributed software transactional memory
(Универзитет у Новом Саду, Факултет техничких наука, 09-04-2021) -
Формална верификација софтверске трансакционе меморије засноване на временским аутоматима / Formalna verifikacija softverske transakcione memorije zasnovane na vremenskim automatima
(Универзитет у Новом Саду, Факултет техничких наука, 03-02-2020)