Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze

Popović Marko

Резултати

еНаука > Резултати > Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze

Назив:	Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze
Остали називи:	Formally verified fault tolerant distributed software transactional memory
Аутори:	Popović Marko
Ментор:	Bašičević, Ilija
Остала ауторства:	Teslić, Nikola ; Tomašević Milo ; Gilezan, Silvia ; Đukić, Miodrag; Bašičević, Ilija
Година:	2021
Публикација:	Универзитет у Новом Саду
Издавач:	Универзитет у Новом Саду, Факултет техничких наука
Тип резултата:	Докторска дисертација
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
М-категорија:	70M70 - Одбрањена докторска дисертација

Пронађи DOI

Проналажење DOI у сервису CrossRef-у на основу мета-података у запису. Приказаће се DOI (и метаподаци) чији се подаци највише поклапају. ОПРЕЗ - то не мора бити та публикација.

Google Scholar^TM

Creative Commons лиценца