Резултати

еНаука >  Резултати >  Формална верификација софтверске трансакционе меморије засноване на временским аутоматима
Назив: Формална верификација софтверске трансакционе меморије засноване на временским аутоматима
Остали називи: Formalna verifikacija softverske transakcione memorije zasnovane na vremenskim automatima
Formal verification of a software transactional memory based on timed automata
Аутори: Кордић, Бранислав
Ментор: Popović, Miroslav
Остала ауторства: Teslić, Nikola  ; Tomašević, Milo  ; Gilezan, Silvia  ; Đukić, Miodrag; Popović, Miroslav
Година: 2020
Публикација: Универзитет у Новом Саду
Издавач: Универзитет у Новом Саду, Факултет техничких наука
Тип резултата: Докторска дисертација
URI: https://nardus.mpn.gov.rs/handle/123456789/11877
https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija157354662128850.pdf?controlNumber=(BISIS)112337&fileName=157354662128850.pdf&id=14195&source=NaRDuS&language=sr
https://www.cris.uns.ac.rs/record.jsf?recordId=112337&source=NaRDuS&language=sr
https://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije157354663808891.pdf?controlNumber=(BISIS)112337&fileName=157354663808891.pdf&id=14196&source=NaRDuS&language=sr
https://enauka.gov.rs/handle/123456789/556438
М-категорија: 
70M70 - Одбрањена докторска дисертација

Пронађи DOI

Google ScholarTM

Creative Commons лиценца