Formalization and Verification of the PSTM architecture

A. Liu; H. Zhu; POPOVIĆ, MIROSLAV V.

Rezultati

еНаука > Резултати > Formalization and Verification of the PSTM architecture

Назив:	Formalization and Verification of the PSTM architecture
Аутори:	A. Liu; H. Zhu; POPOVIĆ, MIROSLAV V.
Година:	2017
Публикација:	24th Asia-Pacific Software Engineering Conference (APSEC 2017)
Издавач:	IEEE, Nanjing, Jiangsu, China
Тип резултата:	Конференцијски рад
DOI:	10.1109/APSEC.2017.49
WoS-ID:	000428733800043
Scopus-ID:	2-s2.0-85045916174
URI:	https://enauka.gov.rs/handle/123456789/193236
URL:	http://www.apsec2017.org/
Извор метаподатака:	Migrirano iz RIS podataka
М-категорија:	Мп категорија ће бити приказана накнадно.

9
SCOPUS^TM

7
OpenCitations

8
WEB OF SCIENCE^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.