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