Formal analysis and verification of the PSTM architecture using CSP

Liu, Ailun; Zhu, Huibiao; Popović, Miroslav; Xiang, Shuangqing; Zhang, Lei

Results

eNauka > Results > Formal analysis and verification of the PSTM architecture using CSP

Title:	Formal analysis and verification of the PSTM architecture using CSP
Authors:	Liu, Ailun; Zhu, Huibiao; Popović, Miroslav ; Xiang, Shuangqing; Zhang, Lei
Issue Date:	2020
Publication:	JOURNAL OF SYSTEMS AND SOFTWARE
ISSN:	0164-1212 Journal of Systems and Software Search Idenfier
Publisher:	Elsevier Inc
Type:	Article
Collation:	vol. 165 str. 110559-110559
DOI:	10.1016/j.jss.2020.110559
WoS-ID:	000530186500005
Scopus-ID:	2-s2.0-85082114573
URI:	https://enauka.gov.rs/handle/123456789/830816
URL:	https://www.sciencedirect.com/science/article/pii/S0164121220300418
Project:	National Key Research and Development Program of China [2018YFB2101300] National Natural Science Foundation of China [61872145] Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of
Metadata source:	(Preuzeto iz Nasi u WoS)
M-category:	21M21

12
SCOPUS^TM

6
OpenCitations

8
WEB OF SCIENCE^TM

Altmetric

Dimensions

Find the DOI

Finding a DOI in CrossRef based on publication meta-data. The DOI (and metadata) with the similar data match will be displayed. ATTENTION - it doesn't have to be that publication.

Unpaywall