Browsing by Subject "vremenski automati"
Now showing items 1-1 of 1
-
Формална верификација софтверске трансакционе меморије засноване на временским аутоматима / Formalna verifikacija softverske transakcione memorije zasnovane na vremenskim automatima
(Универзитет у Новом Саду, Факултет техничких наука, 03-02-2020)