Results

eNauka >  Results >  Формална верификација софтверске трансакционе меморије засноване на временским аутоматима
Title: Формална верификација софтверске трансакционе меморије засноване на временским аутоматима
Other Titles: Formalna verifikacija softverske transakcione memorije zasnovane na vremenskim automatima
Formal verification of a software transactional memory based on timed automata
Authors: Кордић, Бранислав  
Supervisor: Popović, Miroslav  
Other contributors: Teslić, Nikola  ; Tomašević, Milo  ; Gilezan, Silvia  ; Đukić, Miodrag  ; Popović, Miroslav  
Issue Date: 2020
Publication: Универзитет у Новом Саду
Publisher: Универзитет у Новом Саду, Факултет техничких наука
Type: Doctoral theses
VBS COBISS: 34688009
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
URL: https://nardus.mpn.gov.rs/handle/123456789/11877
M-category: 
70M70

Find the DOI

Google ScholarTM

Creative Commons License