Rezultati

eNauka >  Rezultati >  Формална верификација софтверске трансакционе меморије засноване на временским аутоматима
Naziv: Формална верификација софтверске трансакционе меморије засноване на временским аутоматима
Ostali nazivi: Formalna verifikacija softverske transakcione memorije zasnovane na vremenskim automatima
Formal verification of a software transactional memory based on timed automata
Autori: Кордић, Бранислав  
Mentor: Popović, Miroslav  
Ostala autorstva: Teslić, Nikola  ; Tomašević, Milo  ; Gilezan, Silvia  ; Đukić, Miodrag  ; Popović, Miroslav  
Godina: 2020
Publikacija: Универзитет у Новом Саду
Izdavač: Универзитет у Новом Саду, Факултет техничких наука
Tip rezultata: Doktorska disertacija
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-kategorija: 
70M70 - Odbranjena doktorska disertacija

Pronađi DOI

Google ScholarTM

Creative Commons licenca