Formal Analysis and Verification of DPSTM v2 Architecture Using CSP

Li, Peimu; Yin, Jiaqi; Zhu, Huibiao; Xiao, Lili; Popovic, Miroslav

Rezultati

eNauka > Rezultati > Formal Analysis and Verification of DPSTM v2 Architecture Using CSP

Naziv:	Formal Analysis and Verification of DPSTM v2 Architecture Using CSP
Autori:	Li, Peimu; Yin, Jiaqi; Zhu, Huibiao; Xiao, Lili; Popovic, Miroslav
Godina:	2022
Publikacija:	46th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2022
Izdavač:	New York (USA) : IEEE
Tip rezultata:	Konferencijski rad
ISBN:	978-1-6654-8810-5 Pretraži identifikator
Kolacija:	str. 872-877
DOI:	10.1109/COMPSAC54236.2022.00138
WoS-ID:	000855983300130
Scopus-ID:	2-s2.0-85136956686
URI:	https://enauka.gov.rs/handle/123456789/802839
Projekat:	National Key Research and Development Program of China [2018YFB2101300] National Natural Science Foundation of China [61872145, 62032024] Shanghai Trusted Industry Internet Software Collaborative Innovation Center Dean's Fund of Shanghai Key Laboratory
Izvor metapodataka:	(Preuzeto iz Nasi u WoS)
Napomena:	Verifikacija izvršena na osnovu nepotpunog uvida u rad.
M-kategorija:	Mp kategorija će biti prikazana naknadno.

1
SCOPUS^TM

Alt metrika

Dimensions

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.

Unpaywall

Google Scholar^TM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.