Formal verification of python software transactional memory based on timed automata

Rezultati

Title:	Formal verification of python software transactional memory based on timed automata
Authors:	KORDIĆ, BRANISLAV A. ; Popović, Miroslav ; Gilezan, Silvia K.
Issue Date:	2019
Publication:	Acta Polytechnica Hungarica
ISSN:	1785-8860 Acta Polytechnica Hungarica Search Idenfier
Publisher:	Budapest, Hungary : Óbuda University
Type:	Article
Collation:	vol. 16 br. 7 str. 197-216
DOI:	10.12700/aph.16.7.2019.7.12
WoS-ID:	000484659400012
Scopus-ID:	2-s2.0-85073481058
URI:	https://enauka.gov.rs/handle/123456789/204732 http://researchrepository.mi.sanu.ac.rs/handle/123456789/2577
URL:	http://acta.uni-obuda.hu/Kordic_Popovic_Ghilezan_94.pdf
Project:	Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education Development of embedded systems with connected services and digital technology Representations of logical structures and formal languages and their application in computing
Metadata source:	Migracija
M-category:	22M22

8
SCOPUS^TM

5
WEB OF SCIENCE^TM

Алт метрика

Dimensions

Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.