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