Browsing Факултет техничких наука by Subject "fault tolerance,determinism"
Now showing items 1-1 of 1
-
Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze / Formally verified fault tolerant distributed software transactional memory
(Универзитет у Новом Саду, Факултет техничких наука, 09-04-2021)