Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze

Popović, Marko

Rezultati

eNauka > Rezultati > Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze

Naziv:	Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze
Ostali nazivi:	Formally verified fault tolerant distributed software transactional memory
Autori:	Popović, Marko
Mentor:	Bašičević, Ilija
Ostala autorstva:	Teslić, Nikola ; Tomašević Milo ; Gilezan, Silvia ; Đukić, Miodrag ; Bašičević, Ilija
Godina:	2021
Publikacija:	Универзитет у Новом Саду
Izdavač:	Универзитет у Новом Саду, Факултет техничких наука
Tip rezultata:	Doktorska disertacija
VBS COBISS:	57765385
URI:	http://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija161104932670295.pdf?controlNumber=(BISIS)117485&fileName=161104932670295.pdf&id=17440&source=NaRDuS&language=sr http://www.cris.uns.ac.rs/record.jsf?recordId=117485&source=NaRDuS&language=sr http://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije16110493909367.pdf?controlNumber=(BISIS)117485&fileName=16110493909367.pdf&id=17441&source=NaRDuS&language=sr https://nardus.mpn.gov.rs/handle/123456789/18373 https://enauka.gov.rs/handle/123456789/220352
URL:	https://nardus.mpn.gov.rs/handle/123456789/18373
M-kategorija:	70M70 - Odbranjena doktorska disertacija

Pronađi DOI

Pronalaženje DOI u servisu CrossRef-u na osnovu meta-podataka u zapisu. Prikazaće se DOI (i metapodaci) čiji se podaci najviše poklapaju. OPREZ - to ne mora biti ta publikacija.

Google Scholar^TM

Creative Commons licenca