Преглед Универзитет у Новом Саду по теми "Pajton"
Приказ резултата 1-2 од 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)